=?UTF-8?Q?Re=3a_Tarski_and_G=c3=b6del_really_were_Wrong?=

By peteolcott on Tue Apr 16 07:59:40 2019

Latest reply by =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Thu Apr 18 12:33:25 2019

=?UTF-8?Q?Tarski_and_G=c3=b6del_really_were_Wrong_=5bsimplest_refut?==?UTF-8?Q?ation_yet=5d?=

By peteolcott on Thu Apr 18 13:03:17 2019

Latest reply by peteolcott on Thu Apr 18 13:03:17 2019

=?UTF-8?Q?Tarski_and_G=c3=b6del_really_were_Wrong_Version=282=29?=

By peteolcott on Wed Apr 17 19:17:38 2019

Latest reply by peteolcott on Wed Apr 17 19:17:38 2019

/julian-assange-chelsea-manning-statement-

By artai on Thu Apr 11 16:43:25 2019

Latest reply by Don Stockbauer on Wed Apr 17 10:15:50 2019

Eliminating incompleteness and undecidability [Simple English]

By peteolcott on Mon Apr 15 21:45:41 2019

Latest reply by peteolcott on Mon Apr 15 21:45:41 2019

Eliminating Undecidability and Incompleteness in Formal SystemsVersion(5)

By peteolcott on Mon Apr 15 18:07:49 2019

Latest reply by peteolcott on Mon Apr 15 19:49:04 2019

=?UTF-8?Q?Tarski_and_G=c3=b6del_really_were_Wrong?=

By peteolcott on Mon Apr 15 14:09:49 2019

Latest reply by peteolcott on Mon Apr 15 14:09:49 2019

Was Tarski Wrong or Not? (v4)

By peteolcott on Mon Apr 15 10:55:50 2019

Latest reply by peteolcott on Mon Apr 15 10:55:50 2019

Was Tarski Wrong or Not? (v3)

By peteolcott on Mon Apr 15 00:16:06 2019

Latest reply by peteolcott on Mon Apr 15 09:18:56 2019

Was Tarski Wrong or Not? (v2)

By peteolcott on Sun Apr 14 09:06:41 2019

Latest reply by peteolcott on Mon Apr 15 00:15:22 2019

Was Tarski wrong or not?

By peteolcott on Sat Apr 13 12:01:50 2019

Latest reply by peteolcott on Sat Apr 13 18:31:11 2019

My book "I Am" published on amazon

By za_wishy on Sun Apr 7 05:04:41 2019

Latest reply by Cosmin Visan on Sat Apr 13 00:02:18 2019

Re: Prolog already refutes the Tarski Undefinability TheoremVersion(2)

By peteolcott on Fri Apr 12 16:49:47 2019

Latest reply by peteolcott on Fri Apr 12 16:49:47 2019

The Tarski Undefinability proof fails [when this one sentence isproved false]

By peteolcott on Mon Apr 8 11:07:07 2019

Latest reply by peteolcott on Fri Apr 12 16:38:22 2019

Prolog already refutes the Tarski Undefinability Theorem Version(3)

By peteolcott on Fri Apr 12 14:25:38 2019

Latest reply by peteolcott on Fri Apr 12 14:25:38 2019

Re: Semantics and Anaphora (PO was right all along)

By peteolcott on Fri Apr 12 12:59:38 2019

Latest reply by peteolcott on Fri Apr 12 12:59:38 2019

Prolog already refutes the Tarski Undefinability Theorem Version(2)

By peteolcott on Fri Apr 12 12:17:26 2019

Latest reply by peteolcott on Fri Apr 12 12:17:26 2019

Prolog already refutes the Tarski Undefinability Theorem

By peteolcott on Fri Apr 12 12:12:55 2019

Latest reply by peteolcott on Fri Apr 12 12:12:55 2019

Re: The Tarski Undefinability proof fails [Prolog already refutesTarski]

By peteolcott on Fri Apr 12 11:56:43 2019

Latest reply by peteolcott on Fri Apr 12 11:56:43 2019

Eliminating undecidability from Formal Systems Version(4)

By peteolcott on Thu Apr 11 21:49:33 2019

Latest reply by peteolcott on Thu Apr 11 21:49:33 2019

Call for Papers: World Congress on Engineering and Computer ScienceWCECS 2019

By iaeng_imecs_wce_wcecs_a on Thu Apr 11 00:28:21 2019

Latest reply by iaeng_imecs_wce_wcecs_a on Thu Apr 11 00:28:21 2019

AI to Chart a Solution?

By eaglesondouglas on Wed Apr 10 19:37:39 2019

Latest reply by eaglesondouglas on Wed Apr 10 19:37:39 2019

Basis for refuting the 1931 Incompleteness Theorem

By peteolcott on Wed Apr 10 17:30:45 2019

Latest reply by peteolcott on Wed Apr 10 17:30:45 2019

He does not, did not LOVE me because

By jobsearchesforme on Tue Apr 9 14:27:32 2019

Latest reply by Don Stockbauer on Wed Apr 10 16:35:44 2019

Eliminating undecidability in formal systems

By peteolcott on Mon Apr 8 20:28:58 2019

Latest reply by peteolcott on Wed Apr 10 16:21:44 2019

Refuting Tarski Undefinability Version(7) sci.lang

By peteolcott on Wed Apr 10 11:02:26 2019

Latest reply by peteolcott on Wed Apr 10 11:02:26 2019

Reformulating the notion of a formal system to eliminateundecidability

By peteolcott on Wed Apr 10 09:00:52 2019

Latest reply by peteolcott on Wed Apr 10 09:00:52 2019

Re: The Tarski Undefinability proof [--Fails to hold up underalternate assumptions--]

By peteolcott on Tue Apr 9 23:21:48 2019

Latest reply by peteolcott on Tue Apr 9 23:21:48 2019

Re: Tarski Undefinability Theorem Succinctly Refuted Version(2)(sci.lang)

By peteolcott on Mon Apr 8 00:23:45 2019

Latest reply by peteolcott on Mon Apr 8 00:23:45 2019

There seems to have been a musicians group from our church who wantto become famous

By artai on Wed Mar 13 05:39:02 2019

Latest reply by Don Stockbauer on Sun Apr 7 19:08:10 2019

make clear simple intuitive sense of BerkEinstein's derivation

By lawcounsels on Sun Apr 7 15:48:40 2019

Latest reply by lawcounsels on Sun Apr 7 15:48:40 2019

Tarski Undefinability Theorem Succinctly Refuted Version(2)

By peteolcott on Sat Apr 6 16:37:11 2019

Latest reply by peteolcott on Sat Apr 6 16:51:24 2019

The Epimenides paradox

By Don Stockbauer on Sat Apr 6 06:38:23 2019

Latest reply by Don Stockbauer on Sat Apr 6 16:00:58 2019

How useful are meme algorithms for identification and/or location.

By jobsearchesforme on Mon Mar 25 06:38:36 2019

Latest reply by Don Stockbauer on Wed Apr 3 20:00:16 2019

Tarski Undefinability is unequivocally refuted

By peteolcott on Wed Apr 3 19:40:40 2019

Latest reply by peteolcott on Wed Apr 3 19:40:40 2019

Re: I think...

By peteolcott on Wed Apr 3 11:41:35 2019

Latest reply by peteolcott on Wed Apr 3 13:25:36 2019

Re: Curry's notion of Formal System equally applies to naturallanguage

By peteolcott on Tue Apr 2 10:29:52 2019

Latest reply by peteolcott on Wed Apr 3 11:54:28 2019

=?UTF-8?Q?Re=3a_Refuting_the_conclusion_of_G=c3=b6del=e2=80=99s_193?==?UTF-8?Q?1_Incompleteness_Theorem_=282017=29?=

By peteolcott on Wed Apr 3 09:21:24 2019

Latest reply by peteolcott on Wed Apr 3 09:21:24 2019

Re: Universal Truth Predicates eliminating Incompleteness andInconsistency from formal systems (sci.lang)

By peteolcott on Tue Apr 2 11:37:49 2019

Latest reply by peteolcott on Tue Apr 2 12:22:36 2019

=?UTF-8?Q?The_G=c3=b6del/Tarski_view_of_incompleteness?=

By peteolcott on Sat Mar 30 22:59:29 2019

Latest reply by peteolcott on Tue Apr 2 11:33:22 2019

Curry's notion of Formal System equally applies to natural language

By peteolcott on Tue Apr 2 09:43:52 2019

Latest reply by peteolcott on Tue Apr 2 09:43:52 2019

Re: A simple refutation of Tarski Undefinability for linguists (v2)(sci.lang)

By peteolcott on Mon Apr 1 23:12:54 2019

Latest reply by peteolcott on Mon Apr 1 23:12:54 2019

=?UTF-8?Q?Re=3a_The_G=c3=b6del/Tarski_view_of_incompleteness_=28sci?==?UTF-8?B?Lmxhbmcp?=

By peteolcott on Mon Apr 1 19:06:41 2019

Latest reply by peteolcott on Mon Apr 1 22:52:59 2019

=?UTF-8?Q?Re=3a_The_G=c3=b6del/Tarski_view_of_incompleteness_=28sci?==?UTF-8?B?LmxhbmcpIChwcmUtcmVxdSk=?=

By peteolcott on Mon Apr 1 20:06:09 2019

Latest reply by peteolcott on Mon Apr 1 20:06:09 2019

=?UTF-8?Q?Re:_The_G=c3=b6del/Tarski_view_of_incompleteness?=

By Mike Terry on Mon Apr 1 02:56:30 2019

Latest reply by Mike Terry on Mon Apr 1 02:56:30 2019

Re: Olcott True(x) removes incompleteness from every formal systemthus proving itself correct

By peteolcott on Sat Mar 30 18:14:58 2019

Latest reply by peteolcott on Sat Mar 30 18:14:58 2019

Olcott True(x) removes incompleteness from every formal system thusproving itself correct

By peteolcott on Sat Mar 30 17:02:44 2019

Latest reply by peteolcott on Sat Mar 30 17:02:44 2019

Re: Formalizing Truth sci.lang

By peteolcott on Sat Mar 30 14:23:02 2019

Latest reply by peteolcott on Sat Mar 30 14:23:02 2019

UK/EU: PhD Studentship in AI / ML / NLP for Health Data Analytics atSwansea University, UK

By smzhouy on Sat Mar 30 04:55:18 2019

Latest reply by smzhouy on Sat Mar 30 04:55:18 2019

Re: A simple refutation of Tarski Undefinability for linguists (easyas 1,2,3) (3)

By peteolcott on Thu Mar 28 11:59:34 2019

Latest reply by peteolcott on Fri Mar 29 14:26:23 2019

Formalizing Truth Version(2) (sci.lang)

By peteolcott on Fri Mar 29 11:21:18 2019

Latest reply by peteolcott on Fri Mar 29 13:54:28 2019

Formalizing Truth

By peteolcott on Thu Mar 28 22:44:49 2019

Latest reply by peteolcott on Thu Mar 28 22:44:49 2019

Re: A simple refutation of Tarski Undefinability for linguists (easyas 1,2,3) (2)

By peteolcott on Thu Mar 28 11:40:40 2019

Latest reply by peteolcott on Thu Mar 28 11:40:40 2019

Re: A simple refutation of Tarski Undefinability for linguists (easyas 1,2,3) (1)

By peteolcott on Thu Mar 28 11:35:21 2019

Latest reply by peteolcott on Thu Mar 28 11:35:21 2019

=?UTF-8?B?V2hhdCBpcyBUcnV0aD8g4oiAeCBUcnVlKHgpIOKGlCDiiqJ4?=

By peteolcott on Thu Mar 28 00:24:58 2019

Latest reply by peteolcott on Thu Mar 28 00:24:58 2019

Any C++ compiler will tell you the exact error of the Liar Paradox

By peteolcott on Tue Mar 26 16:24:41 2019

Latest reply by peteolcott on Wed Mar 27 15:39:18 2019

The Notion of Truth in Natural and Formal Languages

By peteolcott on Tue Mar 19 14:00:48 2019

Latest reply by peteolcott on Wed Mar 27 18:51:06 2019

The logical error of the Liar Paradox Version(4)

By peteolcott on Wed Mar 27 12:49:30 2019

Latest reply by peteolcott on Wed Mar 27 15:27:28 2019

Re: The logical error of the Liar Paradox Version(5)

By peteolcott on Wed Mar 27 15:06:52 2019

Latest reply by peteolcott on Wed Mar 27 15:06:52 2019

The logical error of the Liar Paradox Version(2)

By peteolcott on Tue Mar 26 23:34:02 2019

Latest reply by peteolcott on Wed Mar 27 12:39:25 2019

The logical error of the Liar Paradox Version(3)

By peteolcott on Wed Mar 27 12:22:33 2019

Latest reply by peteolcott on Wed Mar 27 12:22:33 2019

The logical error of the Liar Paradox

By peteolcott on Tue Mar 26 22:45:31 2019

Latest reply by peteolcott on Tue Mar 26 22:45:31 2019

Re: The simplest way to eliminate Russell's Paradox (No ZFCrequired).

By peteolcott on Mon Mar 25 14:42:58 2019

Latest reply by peteolcott on Tue Mar 26 19:59:31 2019

Within symbolic logic True(X) and ~Provable(X) is impossible...

By peteolcott on Mon Mar 25 17:15:29 2019

Latest reply by peteolcott on Tue Mar 26 17:55:02 2019

Is there a sentence that proves itself does not exist? (Laymen'sterms for sci.lang)

By peteolcott on Mon Mar 25 11:35:27 2019

Latest reply by peteolcott on Mon Mar 25 15:03:24 2019

The existence of a sentence that proves itself does not exist

By peteolcott on Mon Mar 25 10:20:02 2019

Latest reply by peteolcott on Mon Mar 25 10:20:02 2019

=?UTF-8?Q?Philosophy_of_Logic_=e2=80=93_Reexamining_the_Formalized_?==?UTF-8?Q?Notion_of_Truth?=

By peteolcott on Sat Mar 23 14:42:09 2019

Latest reply by peteolcott on Mon Mar 25 09:53:30 2019

Is the following expression unsatisfiable because it isself-contradictory?

By peteolcott on Wed Mar 20 10:21:47 2019

Latest reply by peteolcott on Sun Mar 24 21:14:06 2019

Expressing Truth directly within a formal system with no need formodel theory

By peteolcott on Fri Mar 22 14:03:37 2019

Latest reply by peteolcott on Fri Mar 22 14:03:37 2019

Refutation of simplification of 1931 Incompleteness Theorem

By peteolcott on Tue Mar 19 01:18:28 2019

Latest reply by peteolcott on Tue Mar 19 17:28:53 2019

=?UTF-8?Q?Re=3a_Studying_truth_from_an_epistemological_perspective_?==?UTF-8?Q?shows_that_there_are_semantic_errors_in_how_logic_is_defined_--?==?UTF-8?B?PiBUcnVlKFQseCkg4oaUIFRoZW9yZW0oVCwgeCk=?=

By peteolcott on Sat Mar 16 11:43:44 2019

Latest reply by peteolcott on Tue Mar 19 14:23:36 2019

Minimal Type Theory (YACC BNF)

By peteolcott on Tue Mar 19 00:33:42 2019

Latest reply by peteolcott on Tue Mar 19 00:46:55 2019

Re: Studying truth from an epistemological perspective shows thatthere are semantic errors in how logic is defined --> (The real nature oftruth)

By peteolcott on Mon Mar 18 20:26:37 2019

Latest reply by peteolcott on Mon Mar 18 20:26:37 2019

Re: Studying truth from an epistemological perspective shows thatthere are semantic errors in how logic is defined

By peteolcott on Sat Mar 16 10:30:28 2019

Latest reply by Peter Percival on Sat Mar 16 15:54:00 2019

This proves that truth can exist directly within a formal systemwithout any need for model theory

By peteolcott on Thu Mar 14 09:48:21 2019

Latest reply by Peter Percival on Sat Mar 16 14:51:01 2019

How to increase genetic variety without computer random generator or stalking

By artai on Wed Mar 13 05:15:17 2019

Latest reply by artai on Wed Mar 13 05:15:17 2019

Re: A simple refutation of Tarski Undefinability for linguists (v2)

By peteolcott on Wed Mar 6 19:52:05 2019

Latest reply by Peter Percival on Tue Mar 12 04:34:30 2019

Re: Sound deduction and formal proof are necessarily isomorphic

By peteolcott on Thu Feb 28 10:00:14 2019

Latest reply by Peter Percival on Mon Mar 11 17:25:35 2019

Boredom

By Don Stockbauer on Mon Mar 11 05:36:40 2019

Latest reply by Don Stockbauer on Mon Mar 11 05:36:40 2019

Wikipedia agrees with Axiom(Olcott) and WFF directly expressingsemantics

By peteolcott on Tue Mar 5 17:24:49 2019

Latest reply by Peter Percival on Fri Mar 8 21:11:00 2019

Re: Are there any living beings out there? (David is one)

By peteolcott on Tue Mar 5 20:26:39 2019

Latest reply by peteolcott on Thu Mar 7 10:16:45 2019

if [and [mul A B X] [add X C D]] (A*B)+C = D <--------------------solving ALGEBRA in LOGIC!

By grahamcooper7 on Wed Mar 6 16:54:29 2019

Latest reply by grahamcooper7 on Wed Mar 6 16:54:29 2019

This says the same thing that I have been saying all along

By peteolcott on Tue Mar 5 13:40:37 2019

Latest reply by Peter Percival on Wed Mar 6 07:29:40 2019

-------------------------------> the KEY to A.I. -------------------------------->

By grahamcooper7 on Wed Mar 6 00:44:17 2019

Latest reply by grahamcooper7 on Wed Mar 6 00:44:17 2019

Re: Are there any living beings out there? (David is one?)

By peteolcott on Tue Mar 5 23:14:37 2019

Latest reply by peteolcott on Tue Mar 5 23:14:37 2019

Re: Are there any living beings out there? (at least one, maybe two)

By peteolcott on Tue Mar 5 22:24:52 2019

Latest reply by peteolcott on Tue Mar 5 22:24:52 2019

Are there any living beings out there?

By peteolcott on Mon Mar 4 13:26:14 2019

Latest reply by Peter Percival on Tue Mar 5 19:13:37 2019

=?UTF-8?B?VXMgY29uZ3Jlc3MgaGVhcmluZyBvZiBtYWFuIGFsc2FhbiBNb25leSBsYXVuZHJ5INmC?==?UTF-8?B?2LbZitipINin2YTZg9mI2YbYutis2LHYsyDZhNi62LPZitmEINin2YTYo9mF2YjYp9mEINmE2YTZhdmE?==?UTF-8?B?2YrYp9iv2YrYsSDZhdi52YYg2KfZhNi12KfZhti5?=

By wedad al on Tue Mar 5 07:59:29 2019

Latest reply by wedad al on Tue Mar 5 07:59:29 2019

Re: Simplest refutation of the 1931 Incompleteness Theorem

By peteolcott on Thu Feb 28 11:58:00 2019

Latest reply by Peter Percival on Mon Mar 4 21:01:23 2019

Re: Sound deduction and formal proof are necessarily isomorphic(PROVABILITY)

By peteolcott on Thu Feb 28 08:26:40 2019

Latest reply by Peter Percival on Mon Mar 4 20:32:02 2019

Fallacy of equivocation error of the 1931 Incompleteness Theorem

By peteolcott on Thu Feb 28 09:33:46 2019

Latest reply by Peter Percival on Mon Mar 4 20:23:34 2019

Refuting the essence of the 1931 Incompleteness Theorem

By peteolcott on Fri Mar 1 13:04:13 2019

Latest reply by Peter Percival on Mon Mar 4 20:21:19 2019

Re: Declarative Sentences without Truth Value (Liar Paradox)

By peteolcott on Mon Mar 4 11:04:06 2019

Latest reply by peteolcott on Mon Mar 4 11:04:06 2019

A simple refutation of Tarski Undefinability for linguists

By peteolcott on Sun Mar 3 21:18:27 2019

Latest reply by peteolcott on Mon Mar 4 10:19:47 2019

Re: Simplest refutation of the 1931 Incompleteness Theorem (sci.lang)

By peteolcott on Mon Mar 4 09:25:13 2019

Latest reply by peteolcott on Mon Mar 4 09:25:13 2019

Re: Wondering how someone 'who has the natural gift' had 7 babies in10 years...

By Don Stockbauer on Fri Mar 1 05:41:25 2019

Latest reply by Don Stockbauer on Fri Mar 1 05:41:25 2019