fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
The incompleteness phenomenon

The incompleteness phenomenon

by Martin Goldstern

Incompleteness theoremsConstructive mathematicsProof theory
0.0
Open Library
Open Library

Themes & subjects

Incompleteness theoremsConstructive mathematicsProof theory

Author

Martin Goldstern

Pages

218

Read time

≈ 5h

Editions

6

Language

English

Publisher

CRC Press LLC

ISBN

9781000228885

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Gödel's theorem

Gödel's theorem · Incompleteness theorems

Gödel's theorem

Torkel Franzén

2005

Inexhaustibility

Incompleteness theorems · Logic, Symbolic and mathematical

Inexhaustibility

Torkel Franzén

2002

Aspects of incompleteness

Recursion theory · Incompleteness theorems

Aspects of incompleteness

Lindström, Per

1997

Thinking about Gödel and Turing

Computational complexity · Gödel's theorem

Thinking about Gödel and Turing

Gregory J. Chaitim

2007

Formal number theory and computability

Gödel's theorem · Incompleteness theorems

Formal number theory and computability

Alec Fisher

1982

Godel's Theorem

Gödel's theorem · Incompleteness theorems

Godel's Theorem

Torkel Franzen

2005

Iterative Incomplete Factorization Methods (Series on Soviet and East European Maths, Vol 4) (Series on Soviet and East European Maths, Vol 4)

Incompleteness theorems · Factorization (Mathematics)

Iterative Incomplete Factorization Methods (Series on Soviet and East European Maths, Vol 4) (Series on Soviet and East European Maths, Vol 4)

V.P. Il'in

1992

Investigating Mathematics Teaching

Mathematics · Study and teaching

Investigating Mathematics Teaching

Barbara Jaworski

1994

Logical Foundations of Proof Complexity

Constructive mathematics · Proof theory

Logical Foundations of Proof Complexity

Stephen Cook

2010

Essays in Constructive Mathematics

Constructive mathematics · Algebra

Essays in Constructive Mathematics

Harold M. Edwards

2004

From sets and types to topology and analysis

Congresses · Constructive mathematics

From sets and types to topology and analysis

Peter Schuster

2005

Foundational Theories of Classical and Constructive Mathematics

Mathematics · Philosophy

Foundational Theories of Classical and Constructive Mathematics

Giovanni Sommaruga

2011

Constructive models

Constructive mathematics · Mathematical foundations

Constructive models

I͡Uriĭ Leonidovich Ershov

2000