Record · corpus.blog/posts/01a0877f-a26a-70e7-b1b1-d35a6dfbee34
A Proof that there's No Constructive Proof of the Intermediate Value Theorem
grossack.site · published 10 June 2025
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- Links from this post
- 22
- Words captured
- 3,140
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
sites.google.com
raw.githubusercontent.com
en.wikipedia.org
arxiv.org
ams.org
paultaylor.eu
sfba.social
digama0.github.io
ncatlab.org
ncatlab.org
mathoverflow.net
arxiv.org
en.wikipedia.org
webusers.imj-prg.fr