Koz Ross on Nostr: TIL about the Bernays-Schonfinkel class. What I didn't learn is what Moses ...
TIL about the Bernays-Schonfinkel class. What I didn't learn is what Moses Schonfinkel had to do with it - I know of him only by way of the combinator calculus.
Any #logic people able to enlighten me?
Published at
2026-10-23 02:27:12 UTCEvent JSON
{
"id": "24b38c53f9304db86a2bca4f2cbb1ed1f8244ffc7c808eb8976cd8f323cb1e51",
"pubkey": "ea01c28d25fdebef270fb11977d88794eaa6e04210af4e9f0d45d2ca4df3e28e",
"created_at": 1792722432,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"proxy",
"https://chaos.social/users/koz/statuses/117487857344165398",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "TIL about the Bernays-Schonfinkel class. What I didn't learn is what Moses Schonfinkel had to do with it - I know of him only by way of the combinator calculus.\n\nAny #logic people able to enlighten me?",
"sig": "9bbd7a488e13753f077a8f769c980b93bd260c1db57315c1e390ab722cb50c42718dda2e89f8fad3cda1bfffd5f82170ca8d8da1f735ca5531490eda0c9f1345"
}
