Talia Ringer on Nostr: The three different Euclidean geometric kernel prototypes are done. Now it is time ...
The three different Euclidean geometric kernel prototypes are done. Now it is time for the class to converge on one foundations and write our final kernel. It's looking like E over Tarski and Hilbert. But jury is still out on TT vs. logic, and on LCF vs. de Bruijn
Published at
2026-02-12 01:21:20 UTCEvent JSON
{
"id": "f4e02ccc81ee44066bd6a252b1873a3bc199577331c8b9e567c540cfeac67751",
"pubkey": "ba882d8eae40379bcca9709e47ae52bc46e9a041db34c76a654584c8d9fcf1c4",
"created_at": 1770859280,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@TaliaRinger/116055033786412154",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/TaliaRinger/statuses/116055033786412154",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/TaliaRinger/statuses/116055033786412154",
"pink.momostr"
],
[
"-"
]
],
"content": "The three different Euclidean geometric kernel prototypes are done. Now it is time for the class to converge on one foundations and write our final kernel. It's looking like E over Tarski and Hilbert. But jury is still out on TT vs. logic, and on LCF vs. de Bruijn",
"sig": "560940c09b7aab936c33b207419aafcbaefdaddbe413b93228abe4bf4df58c01067dce301b43ba4d71fbee09d428c7e1ca7c00a91ecfa47f5f1ad2184793bf9e"
}
