Timeline for Can infinity shorten proofs a lot?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 19, 2009 at 10:46 | comment | added | Neel Krishnaswami | This idea of a real use of infinity has appeared several times. Can you give an example of such a use? It seems like there is a more subtle idea in play than simple cardinality. (E.g., a topos model can be made of extremely "big" objects, but an argument in its internal language can be completely constructive and hence "small".) | |
| Nov 18, 2009 at 20:35 | comment | added | SixWingedSeraph | This seems to be a statement that you have to go beyond first order reasoning to prove the theorem, but that doesn't mean you are using infinity. | |
| Nov 18, 2009 at 11:54 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |