It must be the end of semester, because I’ve just had a packed office hour, with student after student asking me interesting questions about the Downward Löwenheim Skolem Theorem, Presburger Arithmetic, the Compactness Theorem, Second Order Logic, the arithmetical undefinability of truth in ω, register machines, Löb’s Theorem, and much, much more.
The end-of-semester flurry of activity as the students work on their final projects is exhilarating… and exhausting.
#logic #philosophy
Greg Restall /
npub1gw…dplw7
2024-04-05 12:09:19
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7Seen on
wss://relay.nostr.bandPublished at
2024-04-05 12:09:19Event JSON
{
"id": "1eaf98c74e9cf77f421c8ef896f2255bb1a6caf2c1d6e25afe7b927efb211a8e",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1712318959,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"philosophy"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/112218535341743211",
"activitypub"
]
],
"content": "It must be the end of semester, because I’ve just had a packed office hour, with student after student asking me interesting questions about the Downward Löwenheim Skolem Theorem, Presburger Arithmetic, the Compactness Theorem, Second Order Logic, the arithmetical undefinability of truth in ω, register machines, Löb’s Theorem, and much, much more.\n\nThe end-of-semester flurry of activity as the students work on their final projects is exhilarating… and exhausting.\n\n#logic #philosophy",
"sig": "707ecdeff53ca801954b536cbf23a4cc37f01d35848b1c3741044370423df47b4235673e5458048d82bef991c80885eac1ae30d155de4f91b60b652b4274a7f4"
}