A Proof‐Theoretic Account of the Miners Paradox
Article in Theoria (April 2016)
The most recent citing publication is shown below. View this citation on Dimensions.
Constructivity and Computability in Historical and Philosophical Perspective
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
-
Altmetric BadgeChapter 2 The Developments of the Concept of Machine Computability from 1936 to the 1960s
-
Altmetric BadgeChapter 3 Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness
-
Altmetric BadgeChapter 4 Kolmogorov Complexity in Perspective Part II: Classification, Information Processing and Duality
-
Altmetric BadgeChapter 5 Proof-Theoretic Semantics and Feasibility
-
Altmetric BadgeChapter 6 Recursive Functions and Constructive Mathematics
-
Altmetric BadgeChapter 7 Gödel and Intuitionism
Attention for Chapter 2:
The Developments of the Concept of Machine Computability from 1936 to the 1960s