Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Matt McIrvin

@futurebird @JorgeStolfi @dymaxion @whknott I think that all the way back to at least Leibniz there was this idea that you might be able to automate the general search for truth by reducing it to turn-the-crank derivations. It's the same impulse that leads people to treat ChatGPT as an oracle.

Nov 17, 2024, 01:25 PM·Quiet public·Web
3boosts·14favorites
SearchLive feeds
About