An Introduction to Gödel's Theorems
Latest Publications

TOTAL DOCUMENTS

49

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9781139149105

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Effectively axiomatized theories

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.005 ◽

2013 ◽

pp. 25-35

Author(s):

Peter Smith

Download Full-text

What Gödel's Theorems say

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.002 ◽

2013 ◽

pp. 1-7

Author(s):

Peter Smith

Download Full-text

LA can express every p.r. function

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.016 ◽

2013 ◽

pp. 113-118

Author(s):

Peter Smith

Download Full-text

Two formalized arithmetics

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.011 ◽

2013 ◽

pp. 62-70

Author(s):

Peter Smith

Download Full-text

Interlude: The Second Theorem, Hilbert, minds and machines

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.038 ◽

2013 ◽

pp. 272-284

Author(s):

Peter Smith

Download Full-text

Interlude: A very little about Principia

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.019 ◽

2013 ◽

pp. 130-135

Author(s):

Peter Smith

Download Full-text

Broadening the scope

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.027 ◽

2013 ◽

pp. 191-196

Author(s):

Peter Smith

Download Full-text

Sufficiently strong arithmetics

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.008 ◽

2013 ◽

pp. 49-52

Author(s):

Peter Smith

Download Full-text

Induction

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.010 ◽

2013 ◽

pp. 56-61

Author(s):

Peter Smith

Download Full-text

Turing machines and recursiveness

An Introduction to Gödel's Theorems ◽

10.1017/cbo9781139149105.043 ◽

2013 ◽

pp. 321-327

Author(s):

Peter Smith

Keyword(s):

Turing Machines

Download Full-text