
:-)
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
On Mon, Apr 7, 2014 at 2:26 PM, Brandon Allbery
wrote: On Mon, Apr 7, 2014 at 5:14 PM, Alois Cochard
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