1. Forum
  2. USENET
  3. sci.lang
=?UTF-8?Q?Closing_the_gap_of_G=C3=B6del_Incompleteness_with_Proof-T?==?UTF-8?Q?heoretic_Semantics?=

By olcott on Wed Jan 14 15:36:14 2026

Latest reply by Richard Damon on Fri Jan 16 13:52:40 2026
Re: (Don't post the answer) -- What Obstacle is an anagram of an antonym of a homophone of an anagram of TEAM?

By HenHanna@NewsGrouper on Mon Jan 12 02:18:38 2026

Latest reply by James Dow Allen on Fri Jan 16 13:57:30 2026
"For those who like this sort of thing, this is the sort of thing they like."

By HenHanna@NewsGrouper on Thu Jan 8 02:52:09 2026

Latest reply by athel.cb@gmail.com on Thu Jan 15 15:58:21 2026
75 annos con interlingua

By Ruud Harmsen on Tue Jan 13 13:12:51 2026

Latest reply by Ruud Harmsen on Tue Jan 13 13:12:51 2026
(real-life Puzzle) -- Auto accident -- Which Car is at fault?

By HenHanna@NewsGrouper on Mon Jan 12 17:54:59 2026

Latest reply by HenHanna@NewsGrouper on Tue Jan 13 09:40:14 2026
Re: is the ct-thesis cooked?

By Tristan Wibberley on Tue Jan 13 07:02:46 2026

Latest reply by Tristan Wibberley on Tue Jan 13 07:02:46 2026
nice Tesla car in PRC -- (vs. Big Truck)

By HenHanna@NewsGrouper on Mon Jan 12 19:29:15 2026

Latest reply by HenHanna@NewsGrouper on Mon Jan 12 19:29:15 2026
=?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1931_Incompleteness_proof_do?==?UTF-8?Q?wn_to_its_barest_essence?=

By olcott on Sun Jan 11 08:32:00 2026

Latest reply by Mikko on Mon Jan 12 13:05:02 2026
Re: Computation and Undecidability

By olcott on Sun Jan 11 12:12:42 2026

Latest reply by olcott on Sun Jan 11 12:12:42 2026
Re: Sign language in the Avatar movies.

By Ross Clark on Sat Jan 10 22:28:06 2026

Latest reply by Ross Clark on Sun Jan 11 08:54:22 2026
=?UTF-8?Q?Re=3A_Why_do_people_ignore_how_G=C3=B6del_simplified_his_?==?UTF-8?Q?own_proof=3F?=

By Richard Damon on Sun Jan 11 07:37:57 2026

Latest reply by Richard Damon on Sun Jan 11 07:37:57 2026
PTD -- (Peter T. Daniels) -- Why did he stop posting in AUE, Sci.Lang ?

By HenHanna@NewsGrouper on Thu Jan 8 19:11:47 2026

Latest reply by HenHanna@NewsGrouper on Fri Jan 9 01:11:13 2026
=?UTF-8?B?UmU6IFdlIEFyZSBUaGUgV29ybGQgfuOBsuOBqOOCiuOBpzIz5Lq6IA==?==?UTF-8?Q?=EF=BC=88Yukino_sings_and_plays_all_the_23_singers?=

By wugi on Thu Jan 8 17:18:50 2026

Latest reply by wugi on Thu Jan 8 17:18:50 2026