Anonymous user
Talk:Proof: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
Line 282:
::: This is a seminal early paper in the field of Type Theory (the capital T one, i.e. dependent type theory) and proof assistants. It's indeed not mentioned to be glanced over, but read thoroughly. —''[[User:Ruud Koot|Ruud]]'' 13:46, 14 May 2012 (UTC)
:::
:: By extension [[User:Rdm|Rdm]] believes that because mathematicains only have a finite number of sheets of paper they have only been able to prove theorems about the natural numbers which hold up to some non-trivial finite limit. I'm not sure how to argue with someone who is so confused about elementary concepts. —''[[User:Ruud Koot|Ruud]]'' 13:11, 14 May 2012 (UTC)
|