Philosophy Lexicon of Arguments

Author Item Excerpt Meta data
Lorenzen, Paul
Books on Amazon
Church-Turing Thesis P. Lorenzen Ein dialogisches Konstruktivitätskriterium (1959) in Karel Berka/L. Kreiser Logik Texte Berlin, 1983

Berka I 266
Church thesis/Lorenzen: the thesis is an equation of "constructive" with "recursive".
LorenzenVsChurch: too narrow view: thus it no longer permits the free use of the quantification over the natural numbers.
I 267
Decision-making problem/ChurchVsLorenzen: (according to Lorenzen): Advantage: greater clarity: when limiting to recursive statements, there can never be a dispute as to whether one of the admitted statements is true or false. The definition of recursiveness guarantees precisely the decision-definition, that is, the existence of a decision-making process. > Decisibility, decision-making problem.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Counter arguments against Lorenzen

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-05-01