Mechanism, Mentalism and Metamathematics

Webb, Judson

doi:10.1007/978-94-015-7653-6

Cited by 89 publications

(11 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Effective solvability B. Hilbert's Entscheidungsproblem C. Gödelian speedup D. Opinion of experts on mechanized reasoning E. Turing's logical stairs F. Turing's idea of oracle. Gödel's and Turing's reactions to Hilbert's problem gave a new reasonable sense to Hilbert's maxim Wir müssen wissen, wir werden wissen, in which "to know" was originally to mean: to have a problem solved through a formal (algorithmic, mechanical) proof, while an 9 An eloquent representative of mechanism is [28]. As for Turing, in his post-war period he did not express an reserve against mechanism, but also did not display any retreat from the ideas and results of his study [27].…”

Section: Resultsmentioning

confidence: 99%

The progress of science from a computational point of view: the drive towards ever higher solvability

Marciszewski¹

2019

Foundations of Computing and Decision Sciences

View full text Add to dashboard Cite

This essay's content is rendered by the titles of the successive sections. 1. Effective solvability versus intuitive solvability. -2. Decidability, i.e. effective solvability, in predicate logic. The speedup phenomenon -3. Contributions of the secondorder logic to the problems of solvability -4. The infinite progress of science in the light of Turing's idea of the oracle. The term "oracle" is a technical counterpart of the notion of mathematical intuition.A more detailed summary can be obtained through juxtaposing the textboxes labelled with letters A...F. Conclusion: in the progress of science an essential role is played by the feedback between intellectual intuitions (intuitive solvability) and algorithmic procedures (effective solvability).Keywords: effective solvability, intuitive solvability, decidability, speedup, secondorder logic, solvability, oracle, mathematical intuition, progress of science, algorithmic procedures. Wir müssen wissen, wir werden wissen.David Hilbert, the punch line of his lecture [1930] The advance of science is not comparable to the changes of a city, where old edifices are torn down to give place to new, but to the continuous evolution of zoologic types which develop ceaselessly, where an expert eye finds always traces of the prior work of the centuries past. Henri Poincaré, "The Value of Science", Introduction.1.1. The progress of science, characteristic of the Western civilization, embraces two processes: (i) the increase of the amount of methodically checked information, based on a reliable evidence, (ii) the development of more and more efficient methods and means of problem-solving via information processing. The notion of science, as conceived in this essay, is pertinent to all academic disciplines in which a methodological research is carried on. Not only to empirical sciences, as it is frequently understood in the English literature. Instead, I use the term "science" rather in the sense of German "Wissenschaft".The computational approach, as here understood, extends across at several areas. Not only computer science but also mathematical logic, some issues concerning the measure of information, considerations on the interaction between mechanical and non-mechanical (intuitive, creative) ways of problem-solving.The choice of the term "solvability" in the title is premeditated to connect its meaning with the meanings of "decidability" and "intuition".A. Effective solvability. A decision problem P is said to be decidable or effectively solvable when P can be solved by the universal Turing machine. 14 W. Marciszewski properties (in the above formula the property φ defines a classaccording to the axiom AA"). Contributions of the second-order logic to the problems of solvability and decidability3.1. This section continues the subject of "Gödelian speedup" discussed in 2.4 and 2.5. Here the emphasis is to be put on the mechanical aspect of decidability, the closest to the computational perspective by the fact that "decidable" in the technical sense means decidable by Turing machi...

show abstract

Section: Resultsmentioning

confidence: 99%

The progress of science from a computational point of view: the drive towards ever higher solvability

Marciszewski¹

2019

Foundations of Computing and Decision Sciences

View full text Add to dashboard Cite

show abstract

“…This version of computational functionalism does not tell us how the mind works or what is special about it. Such a weak thesis stands in sharp contrast with others, which 7 Examples of such arguments may be found in Dennett 1978, Webb 1980, Nelson 1987, Chalmers 1996b, Simon 1996, and Baum 2004. For their refutation, see Copeland 2000and Piccinini 2007c derive from different analogies between features of minds and features of computers.…”

Section: The Analogy Between Minds and Computersmentioning

confidence: 88%

The Mind as Neural Software? Understanding Functionalism, Computationalism, and Computational Functionalism

Piccinini

2010

SSRN Journal

View full text Add to dashboard Cite

“…21 This point has been emphasized by Sieg (2001). 22 Webb (1980, p. 220), Haugeland (1981, p. 2), Fodor (1981, Pylyshyn (1984, p. 52, 109) and Boden (1988, p. 259). A previous discussion of this argument can be found in Tamburrini (1997).…”

Section: Notesmentioning

confidence: 97%

Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy

Piccinini

2007

Synthese

View full text Add to dashboard Cite

Mechanism, Mentalism and Metamathematics

Cited by 89 publications

References 0 publications

The progress of science from a computational point of view: the drive towards ever higher solvability

The progress of science from a computational point of view: the drive towards ever higher solvability

The Mind as Neural Software? Understanding Functionalism, Computationalism, and Computational Functionalism

Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy

Contact Info

Product

Resources

About