Remarks on the Gödelian Anti-Mechanist Arguments
DOI: http://doi.org/10.26333/sts.xxxiv1.12 Certain selected issues around the Godelian anti-mechanist arguments which have received less attention are discussed.
Solving the “Hard Problem”: Consciousness is an Electronic Phenomenon
This paper is a reply to a paper “Solving the ‘Hard Problem’: Consciousness is an Intrinsic Property of Magnetic Fields”, which fails to arrive at the logical conclusion that consciousness is generated by electronics, that the brain is an electronic device, and that the brains of all living creatures are connected electronic devices.
Toward Human-Level Artificial Intelligence: Representation and Computation of Meaning in Natural Language
- Computer Science
.................................................................................................. ix Preface…
Universality Is Ubiquitous
- Computer Science, Philosophy
Turing’s concept of “universal machine” will be discussed as an abstraction, as embodied in physical devices, as present in nature, and in connection with the artificial intelligence project.
A study on Model of Personal Information Protection based on Artificial Intelligence Technology or Service
A.I. has being developed from the technology for Big data analysis to the technology like a human being. The sensing technology of IOT will make A.I. have the more delicate sense than human's five…
Informal Physical Reasoning Processes
- Computer ScienceArXiv
An existence principle stating that the perception of the physical existence of any Turing program can serve as a physical causation for the application ofAny Turing-computable function to this Turing program is introduced.
Mechanical intelligence and Godelian Arguments
In the present paper we attempt to evaluate the legacy of Turing’s ideas concerning the consequences of Godel’s Incompleteness Theorems for philosophy of mind. These Theorems were almost immediately…
An Effective Procedure for Computing "Uncomputable" Functions
- Computer ScienceArXiv
It is proved that the second input cannot be set to the Goedel number of any Turing-computable function that computes the output from any natural number in its first input, and that creative procedures model an aspect of reasoning that cannot be modeled by Turing machines.
今度こそわかるゲーデル不完全性定理 = Gödel's incompleteness theorems
第１章 自然言語 第２章 理論の完全性とわかりやすさ 第３章 表現可能性 第４章 初等自然数言語の不完全性定理の証明 第５章 古典的理論と現代的理論 第６章 形式化 第７章 完全性 第８章 ゲーデルの不完全性定理 第９章 ゲーデルの第２不完全性定理 第１０章 新しい論理学
Turing is among us
- Computer ScienceJ. Log. Comput.
Turing's present-day and all-time relevance arises from the timelessness of the issues he tackled, and the innovative light he shed upon them, which enables the inevitable bringing together of the ghosts in the several embodied machines to promote their symbiotic epistemic co-evolution.
SHOWING 1-10 OF 49 REFERENCES
Shadows of the Mind
This book attempts to take a firm grip on a corner of the slippery issue of consciousness. It is directly related to Roger Penrose's earlier, hugely successful work, The Emperor's New Mind. Although…
Scavenging or Hunting in Early Hominids: Theoretical Framework and Tests
- Environmental Science, Geography
Evidence from Bed I, Olduvai, supports the hypothesis that scavenging, not hunting, was the major meat-procurement strategy of hominids between 2 and 1.7 million years ago. Data used to evaluate the…