Anonymous user
Talk:Proof: Difference between revisions
m
→Deletion of statement about finite limits from task: sign
Line 280:
:: This is not searchable text, it's photographic material and it uses a variety of definitions defined in other places. So it's difficult, at a glance to see if it adequately treats the topic of machine limitations in an implementation. If any of this is relevant to the topics of limits of validity, please restate the relevant constructs in your own words. --[[User:Rdm|Rdm]] 13:17, 14 May 2012 (UTC)
::: 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:
:: 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)
| |||