Newsgroup:
comp.ai.nat-lang
Add New Display Options
1
reply
Talk by Christoph Scheepers: The "Crossword Effect" in Free Word
started 2023-04-11 15:08:04 UTC
2023-04-17 14:01:37 UTC
Tristan Miller
3
replies
Moderation AI ?
started 2022-10-23 09:51:27 UTC
2022-10-26 13:45:43 UTC
Chris Buckley
4
replies
Question for Olcott [ summing up where we are ]
started 2022-05-24 04:22:18 UTC
2022-05-25 01:15:05 UTC
Richard Damon
1
reply
how to start on NLP (for irc bots and EC)
started 2021-09-24 08:01:34 UTC
2021-09-25 11:41:12 UTC
holyghost
1
reply
How to make your NLP system multilingual
started 2021-01-16 21:22:57 UTC
2021-01-19 16:14:18 UTC
A.T. Murray
60
replies
Formal specification of Minimal Type Theory (updated)
started 2020-09-29 02:22:53 UTC
2020-10-14 20:11:28 UTC
olcott
1
reply
Why halt deciders can't be "interesting" programs. (Gödel's G is unsound)
started 2020-09-24 21:33:45 UTC
2020-09-28 20:32:09 UTC
olcott
231
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined)
started 2020-08-03 23:17:59 UTC
2020-08-31 00:05:50 UTC
Ben Bacarisse
4
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V48 (x86 really is Turing complete)
started 2020-08-24 08:58:02 UTC
2020-08-24 23:24:17 UTC
olcott
1
reply
Getting Around the Halting Problem
started 2020-08-20 08:04:10 UTC
2020-08-20 22:35:01 UTC
olcott
1
reply
Simply defining Gödel Incompleteness and Tarski Undefinability away V43 [x86 is Turing complete]
started 2020-08-18 05:20:54 UTC
2020-08-18 22:23:10 UTC
olcott
5
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V40 (x86 is Turing Complete)
started 2020-08-14 23:36:49 UTC
2020-08-15 00:55:47 UTC
olcott
63
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined)
started 2020-07-19 01:31:31 UTC
2020-08-01 08:33:15 UTC
olcott
7
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR)
started 2020-07-25 03:26:56 UTC
2020-07-26 10:13:53 UTC
André G. Isaak
8
replies
Is the Münchhausen trilemma correct?
started 2020-07-24 23:58:44 UTC
2020-07-25 05:08:38 UTC
André G. Isaak
3
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V32 (Analytical knowledge)
started 2020-07-24 01:01:21 UTC
2020-07-24 03:51:53 UTC
André G. Isaak
1
reply
Call for Papers - SemaNLP
started 2020-07-16 17:50:10 UTC
2020-07-21 19:36:16 UTC
Tim vor der Brück
260
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth)
started 2020-07-06 08:52:21 UTC
2020-07-21 05:52:11 UTC
Ben Bacarisse
88
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V13
started 2020-06-27 06:03:57 UTC
2020-07-08 08:44:30 UTC
olcott
2
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V25 (provability equivalence)
started 2020-07-06 22:21:42 UTC
2020-07-07 04:36:24 UTC
olcott
20
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V21
started 2020-07-04 21:36:55 UTC
2020-07-06 07:46:05 UTC
André G. Isaak
20
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V20
started 2020-07-03 00:19:37 UTC
2020-07-03 23:17:23 UTC
André G. Isaak
3
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V17 (no HTML)
started 2020-07-01 04:12:58 UTC
2020-07-01 05:23:06 UTC
olcott
18
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V14
started 2020-06-27 23:03:59 UTC
2020-06-30 02:19:07 UTC
André G. Isaak
15
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V15
started 2020-06-28 02:00:58 UTC
2020-06-29 07:03:37 UTC
olcott
2
replies
Simply defining Gödel Incompleteness and Tarski Undefinability away V12
started 2020-06-27 02:15:41 UTC
2020-06-27 05:58:01 UTC
olcott
2
replies
Reformulating the foundation of the notion of a formal system V11
started 2020-06-26 01:18:08 UTC
2020-06-26 04:17:46 UTC
olcott
24
replies
Reformulating the foundation of the notion of a formal system V6
started 2020-06-21 22:33:36 UTC
2020-06-24 11:08:19 UTC
olcott
14
replies
The principle of explosion is refuted (it never really existed)
started 2020-06-23 03:03:02 UTC
2020-06-23 10:27:20 UTC
olcott
5
replies
Why do we need the principle of explosion?
started 2020-06-22 07:47:53 UTC
2020-06-22 23:26:43 UTC
olcott
Click to Load More...
Loading...