17 Oct
2007
17 Oct
'07
4:57 p.m.
Very clear tutorial indeed. But why isn't propCC shown as Pierce's Law? And Excluded middle is proven on such basis.
Simply because I don't know that much about pierce's law. I've seen it mentioned a few times, but I'm not that familiar with it yet and I haven't read a good treatment of it yet. Do you have any pointers to something I could read?
Vitaliy.
Tim Newsham http://www.thenewsh.com/~newsham/