:-) Ok, nevermind. That's just me which is has no understanding of the context then, like Kim. I'm booking some classes with Frege and Russell, looks like they are pretty busy atm. On 7 April 2014 22:57, Alexander Solla <alex.solla@gmail.com> wrote:
On Mon, Apr 7, 2014 at 2:26 PM, Brandon Allbery <allbery.b@gmail.com>wrote:
On Mon, Apr 7, 2014 at 5:14 PM, Alois Cochard <alois.cochard@gmail.com>wrote:
Understood and actually I forgot you can not use "_", so why not a symbol which don't look like a number?
I was also wondering how Turkish speakers/writers would react to that notation....
Native English speaker here. My first thought was, "Oh, a iota. And he's using it as a definite descriptor/anonymous variable. Nice."
But then again, I took too many classes on Frege and Russell.
-- *Alois Cochard* http://aloiscochard.blogspot.com http://twitter.com/aloiscochard http://github.com/aloiscochard