Atsushi Shimotani

[4] viXra:1903.0310 submitted on 2019-03-17 01:43:24, (2 unique-IP downloads)

A Right Representation of the Completeness Theorem of Propositional Logic —Towards a Truly Thinking Machine—

Authors: Atsushi Shimotani
Category: Artificial Intelligence

[3] viXra:1903.0202 submitted on 2019-03-12 05:57:39, (8 unique-IP downloads)

The Halting Problem of Turing is Nonsense —Towards a Truly Thinking Machine—

Authors: Atsushi Shimotani
Category: Artificial Intelligence

[2] viXra:1902.0464 replaced on 2019-03-14 03:23:57, (13 unique-IP downloads)

Philosophically an Incompleteness Theorem Is Trivial —Towards a Truly Thinking Machine—

Authors: Atsushi Shimotani
Category: Artificial Intelligence

[1] viXra:1902.0354 replaced on 2019-02-22 07:18:16, (4 unique-IP downloads)

A Set of Sets and Quantification of Logic —Towards a Truly Thinking Machine—

Authors: Atsushi Shimotani
Category: Artificial Intelligence