Re: [bitc-dev] Not everything is a type

[Sandro Magi]

That's a more controversial statement than you might think. Many 
studying the philosophy of mathematics would disagree with you in fact. 
Platonism is a far less problematic foundation. But let's not get off 
topic for this list.

Sandro
On 03/04/2015 3:15 PM, Pal Engstad wrote:
Nothing  in Mathematics is real. It exists only in our heads.


_______________________________________________
bitc-dev mailing list
bitc-dev@coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev