Greg Restall on Nostr: I *think* I’m ready for my talk at our two-day proof theory workshop, starting ...
Published at
2024-04-10 08:59:57Event JSON
{
"id": "fd8fd5dbcaa634af4a1dfa33e406fd78429d94d87c38eda128deb3f93c1bee8a",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1712739597,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"prooftheory"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/112246102233842864",
"activitypub"
]
],
"content": "I *think* I’m ready for my talk at our two-day proof theory workshop, starting tomorrow: https://consequently.org/presentation/2024/lambda-mu-arche/ — I have a lot to pack in to 25 minutes, so the monster-sized handout contains some of the details I’ll skim over in the talk.\n\n#logic #prooftheory",
"sig": "1322dd0be6d64eab0cc5447bef90760657276eaa508e589743848877efd527bd96de7801c25971a0ce8052c9c5f69f3ff119a9074f6a711f3d7654e954c57dc9"
}
