
7 Apr
2014
7 Apr
'14
5:57 p.m.
On Mon, Apr 7, 2014 at 2:26 PM, Brandon Allbery
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.