Experimental browser for the Atmosphere
And mathematicians are split roughly in thirds between formalists who think the point is to generate formally correct statements, Platonists and intuitionists (not identical!) who think that Mind matters a great deal more, and pragmatists who simply don’t care as long as they get the work done
May 5, 2025, 9:57 PM
{ "uri": "at://did:plc:o2zbts7lyuztn2uy5pqaikhi/app.bsky.feed.post/3lohefccexk2k", "cid": "bafyreifoq2znm3iasj3ktvldx6n3mbzc7ekfm44k7panmsuxsc6nzdaupu", "value": { "text": "And mathematicians are split roughly in thirds between formalists who think the point is to generate formally correct statements, Platonists and intuitionists (not identical!) who think that Mind matters a great deal more, and pragmatists who simply don’t care as long as they get the work done", "$type": "app.bsky.feed.post", "langs": [ "en" ], "reply": { "root": { "cid": "bafyreig7entsve2cvcqxmwr64xb7fsdpiddynlqbfqwl6pgcu74mp6yxrq", "uri": "at://did:plc:o2zbts7lyuztn2uy5pqaikhi/app.bsky.feed.post/3lohe47ufqc2k" }, "parent": { "cid": "bafyreibeqscfoznpcyod7hnmekb46bbixukc43r3y5sbdeha2fjdhrwtuq", "uri": "at://did:plc:o2zbts7lyuztn2uy5pqaikhi/app.bsky.feed.post/3lohead354c2k" } }, "createdAt": "2025-05-05T21:57:36.686Z" } }