Scoundrel on Nostr: Creating a new axiomatic system rn. In order to determine if an inference is valid in ...
Creating a new axiomatic system rn. In order to determine if an inference is valid in my system, you must first follow a process of converting it into a corresponding Turing machine instruction set. The inference is valid if and only if the Turing machine halts.
Have fun writing a proof checker for this bad boy. 😏
Published at
2025-02-08 02:20:34Event JSON
{
"id": "b5804a062922e5d2691cc8aa609595f4ae5495842624d7e15e87b153eae8913d",
"pubkey": "a87b402ac081c8849b9d5bd4e39f2287f25709d3e3f79e784af1e8b38fefbdf1",
"created_at": 1738981234,
"kind": 1,
"tags": [],
"content": "Creating a new axiomatic system rn. In order to determine if an inference is valid in my system, you must first follow a process of converting it into a corresponding Turing machine instruction set. The inference is valid if and only if the Turing machine halts.\n\nHave fun writing a proof checker for this bad boy. 😏",
"sig": "e94711645f0826dbdd8ddbb73eea48639035aaad4fc399e70dd7feafb4fe2b832e095b9b67109c73e3ba070a36ea73cd1b060c6353d4e61f36580f48a1b5fec7"
}