On Fri, Apr 3, 2015 at 3:15 PM, Pal Engstad <[email protected]> wrote: > Nothing in Mathematics is real. It exists only in our heads. By the way, > that's a good thing! > > You can apply math to many things though, even to programs. You can use it to > understand real things. > > Writing it down doesn’t make it real. Just like unicorns, just because I just > wrote it down just now doesn't make it any more real.
You wrote down "unicorns". That is a real word. I'm saying proofs are just things you write down. So they're real, although the things they talk about are not. I agree that ideas are not real in that they do not physically exist. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
