Timeline for Can infinity shorten proofs a lot?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 23, 2022 at 19:12 | comment | added | Ryan Budney | @AntonPetrunin: suitable for undergrads? I don't know of anything, but perhaps there is. The Wikipedia page looks like a perfect sketch that could be fleshed out into a short article. I wouldn't be surprised if there was a nice Notices article on this topic. If there isn't, there should be. en.wikipedia.org/wiki/Eilenberg%E2%80%93Mazur_swindle | |
| Feb 23, 2022 at 17:56 | comment | added | Anton Petrunin | Is there a popular text that describes the Mazur Swindle? | |
| Nov 16, 2009 at 23:43 | comment | added | Qiaochu Yuan | Most of the applications aren't what I would call "finite problems"; probably the closest is the proof of the Cantor-Bernstein-Schroeder theorem given here: terrytao.wordpress.com/2009/10/05/mazurs-swindle | |
| Nov 16, 2009 at 23:41 | history | answered | Ryan Budney | CC BY-SA 2.5 |