Toot

Written by companion_cube on 2024-11-13 at 23:43

@ncf

Is classical first-order logic bad now? Why not teach both?

@jonmsterling

=> More informations about this toot | View the thread | More toots from c_cube@octodon.social

Mentions

=> View ncf@types.pl profile | View jonmsterling@mathstodon.xyz profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113478296371648350
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
259.862217 milliseconds
Gemini-to-HTML Time
0.338847 milliseconds

This content has been proxied by September (3851b).