Richard Zach on Nostr: Constructive mathematicians (esp. intuitionists): Why does Brouwer say in on p. 115 ...
Constructive mathematicians (esp. intuitionists): Why does Brouwer say in
https://www.jstor.org/stable/20488578 on p. 115 that \(\lnot\lnot s_f \to s_f\)? (Like is this so obvious it needs no explanation and I'm just dense?)
Published at
2024-07-18 21:57:33Event JSON
{
"id": "2770f9232189d16dd0da7313ff6c137f40993477e78a5cd4313399cf7b21811b",
"pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"created_at": 1721339853,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/rrrichardzach/statuses/112809728631717745",
"activitypub"
]
],
"content": "Constructive mathematicians (esp. intuitionists): Why does Brouwer say in https://www.jstor.org/stable/20488578 on p. 115 that \\(\\lnot\\lnot s_f \\to s_f\\)? (Like is this so obvious it needs no explanation and I'm just dense?)\n\nhttps://media.mathstodon.xyz/media_attachments/files/112/809/723/809/355/904/original/c232859e5f13a109.png",
"sig": "8fbc2e8aac05ff0cdeddf983d132788a7478492e5eb35b29553591c608b4d618cb133cc76f383227943fd4f393ea1b86d0af95bcec6acd66f32d5cd40e3bb727"
}
