Đang tải...

Mã QR

Metamathematics, machines and Godel's proof.

Chi tiết về thư mục
Tác giả chính:	Shankar, N
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Cambridge: Cambridge University Press, 1994.
Những chủ đề:	Godel;s theorem.

Những quyển sách tương tự

Godel's proof,
Bằng: Nagel, Ernest
Được phát hành: (1986)

Godel's incompleteness theorems /
Bằng: Smullyan, Raymond M.
Được phát hành: (1992)

Gödel's theorem in focus /
Được phát hành: (1988)

Godel's proof /
Bằng: Ernest Nagel
Được phát hành: (2005)

Kurt Gödel and the foundations of mathematics : horizons of truth /
Được phát hành: (2014)

Extensional Godel functional intepretation: A consistency of proof of classical analysis
Bằng: Luckhardt, Horst
Được phát hành: (1973)

Introduction to Godel's Theorems
Bằng: Smith,Peter
Được phát hành: (2007)

Impossibility: limits of science and the science of limits
Bằng: Barrow, John D.
Được phát hành: (2005)

Godel's proof /
Bằng: Nagel, Ernest
Được phát hành: (1964)

A statistical approach to Godel’s theorems with reference to central limit property/
Bằng: Binoy Jacob, Researcher, et al.
Được phát hành: (2015)

Gödel, Escher, Bach : an eternal golden braid /
Bằng: Hofstadter, Douglas R., 1945-
Được phát hành: (1999)

Godel, Escher, Bach : An Eternal Golden Braid
Bằng: Douglas R Hofstadter
Được phát hành: (2000)

Shadows of the mind : a search for the missing science of consciousness /
Bằng: Penrose, Roger
Được phát hành: (1994)

Shadows of the mind : a search for the missing science of consciousness /
Bằng: Penrose, Roger
Được phát hành: (1995)

world without time: the forgotten legacy of Godel and Einstein
Bằng: Yourgrau, Palle
Được phát hành: (2007)

Gödel, Escher, Bach : an eternal golden braid /
Bằng: Hofstadter, Douglas R.
Được phát hành: (1980)

Impossibility : the limits of science and the science of limits /
Bằng: Barrow,John D
Được phát hành: (1998)

Shadows of the mind: a search for the missing science of consciousness
Bằng: Penrose, Roger
Được phát hành: (1994)

Applied proof theory : proof interpretations and their use in mathematics /
Bằng: Kohlenbach, U.
Được phát hành: (2008)

The large, the small, and the human mind /
Bằng: Penrose, Roger
Được phát hành: (1997)

Metamathematics of fuzzy logic /
Bằng: Hajek, Petr
Được phát hành: (1998)

Metamathematics of algebraic systems /
Bằng: Malcev, A.I
Được phát hành: (1971)

Recursion theory for metamathematics.
Bằng: Smullyan, Raymond M.
Được phát hành: (1993)

112 Mercer Street: Einstein, Russell, Godel, Pauli, and the end of innocence in science
Bằng: Feldman, Burton
Được phát hành: (2007)

The Infamous Boundary:Seven Decades of Controversy in quantum Physics
Bằng: Wick,David
Được phát hành: (1995)

The large, the small, and the human mind /
Được phát hành: (1997)

Metamathematics of first - order arithmetic /
Bằng: Hajek , Petr
Được phát hành: (1998)

Probability Measures On Metric Spaces
Bằng: Parthasarathy, K, P, (Parthasarathy, K, P)
Được phát hành: (1967)

Elementary Theory Of Equations
Bằng: Borofsky, Samuel, (Borofsky, Samuel)
Được phát hành: (1960)

Introduction To Mathematical Probability
Bằng: Uspensky, J, V, (Uspensky, J, V)
Được phát hành: (1937)

Advanced Calculus
Bằng: Sokolnikoff, Ivan, S, (Sokolnikoff, Ivan, S)
Được phát hành: (1939)

Szegos type theorems
Bằng: Ramadevi, S.
Được phát hành: (2003)

Extentions of korovkin theorems
Bằng: Donner, K.

Limit theorems in probability and statistics.Vol.1
Bằng: Ed by Revesz,P
Được phát hành: (1984)

Limit theorems in probability and statistics.Vol.II
Bằng: Ed by Revesz, P.

Limit theorems in change-point analysis
Bằng: Csorgo, Miklos
Được phát hành: (1997)

Introduction to bayesian statistical decision processes
Bằng: Morgan, Bruce W.
Được phát hành: (1968)

Mathematics for modern management
Bằng: Dean, Burton V.
Được phát hành: (1978)

Statistical models, Yang-Baxter equation and related topics

Seminar on the Atiyah-Singer index theorem
Bằng: Palais, Richard S
Được phát hành: (2005)