Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789401792165, 9789401792172

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recursive Functions and Constructive Mathematics

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective ◽

10.1007/978-94-017-9217-2_6 ◽

2014 ◽

pp. 159-167 ◽

Cited By ~ 4

Author(s):

Thierry Coquand

Keyword(s):

Constructive Mathematics ◽

Recursive Functions

Download Full-text

Proof-Theoretic Semantics and Feasibility

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective ◽

10.1007/978-94-017-9217-2_5 ◽

2014 ◽

pp. 135-157

Author(s):

Jean Fichot

Download Full-text

The Developments of the Concept of Machine Computability from 1936 to the 1960s

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective ◽

10.1007/978-94-017-9217-2_2 ◽

2014 ◽

pp. 37-56 ◽

Cited By ~ 1

Author(s):

Jean Mosconi

Keyword(s):

The 1960S

Download Full-text

Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective ◽

10.1007/978-94-017-9217-2_1 ◽

2014 ◽

pp. 1-35

Author(s):

Göran Sundholm

Keyword(s):

Joint Session ◽

Church’S Thesis ◽

Recursive Functions ◽

Church's Thesis

Download Full-text

Gödel and Intuitionism

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective ◽

10.1007/978-94-017-9217-2_7 ◽

2014 ◽

pp. 169-214 ◽

Cited By ~ 4

Author(s):

Mark van Atten

Download Full-text

Kolmogorov Complexity in Perspective Part II: Classification, Information Processing and Duality

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective ◽

10.1007/978-94-017-9217-2_4 ◽

2014 ◽

pp. 95-134

Author(s):

Marie Ferbus-Zanda

Keyword(s):

Information Processing ◽

Kolmogorov Complexity ◽

Classification Information

Download Full-text

Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective ◽

10.1007/978-94-017-9217-2_3 ◽

2014 ◽

pp. 57-94 ◽

Cited By ~ 1

Author(s):

Marie Ferbus-Zanda ◽

Serge Grigorieff

Keyword(s):

Information Theory ◽

Kolmogorov Complexity

Download Full-text

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical PerspectiveLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Recursive Functions and Constructive Mathematics

Proof-Theoretic Semantics and Feasibility

The Developments of the Concept of Machine Computability from 1936 to the 1960s

Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

Gödel and Intuitionism

Kolmogorov Complexity in Perspective Part II: Classification, Information Processing and Duality

Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness

Logic, Epistemology, and the Unity of Science - Constructivity and Computability in Historical and Philosophical Perspective
Latest Publications