How subtle is Gödel's theorem? More on Roger Penrose

@article{Davis1993HowSI,
  title={How subtle is G{\"o}del's theorem? More on Roger Penrose},
  author={Martin D. Davis},
  journal={Behavioral and Brain Sciences},
  year={1993},
  volume={16},
  pages={611 - 612}
}
  • Martin D. Davis
  • Published 1 September 1993
  • Psychology
  • Behavioral and Brain Sciences

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

TLDR
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

.................................................................................................. ix Preface

Universality Is Ubiquitous

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

TLDR
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

TLDR
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

第1章 自然言語 第2章 理論の完全性とわかりやすさ 第3章 表現可能性 第4章 初等自然数言語の不完全性定理の証明 第5章 古典的理論と現代的理論 第6章 形式化 第7章 完全性 第8章 ゲーデルの不完全性定理 第9章 ゲーデルの第2不完全性定理 第10章 新しい論理学

Turing is among us

TLDR
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.

References

SHOWING 1-10 OF 49 REFERENCES

The Conscious Brain

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

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

The nonalgorithmic mind

  • R. Penrose
  • Psychology
    Behavioral and Brain Sciences
  • 1990

Parallelism and patterns of thought

Lucas revived? An undefended flank

Penrose's Platonism