New posts in computability

There is a subset of positive integers which no computer program can print

elementary-set-theory puzzle computability

What is the fastest growing total computable function you can describe in a few lines?

number-theory computability big-numbers

Is chess Turing-complete?

logic computer-science game-theory computability infinite-games

How to find the shortest path of a graph in a turing machine

graph-theory computer-science computability turing-machines

Approximate spectral decomposition

linear-algebra complex-analysis functional-analysis computability constructive-mathematics

How to interpret "computable real numbers are not countable, and are complete"?

computability

Are transcendental numbers computable?

number-theory computability

Are some real numbers "uncomputable"?

algorithms computability

Is it possible to solve any Euclidean geometry problem using a computer?

geometry euclidean-geometry computational-geometry computability

Pairing in Presburger arithmetic

logic reference-request computability proof-theory presburger-arithmetic

Can someone explain the Y Combinator?

abstract-algebra computer-science computability lambda-calculus combinatory-logic

Example of uncomputable but definable number

computability real-numbers

Why do we believe the Church-Turing Thesis?

soft-question computer-science computability turing-machines

In what sense does a number "exist" if it is proven to be uncomputable?

logic computability

Recognizable vs Decidable

computer-science computability

Are there any examples of non-computable real numbers?

computability

Kunen exercise IV.4.13 (4): Topological version of effective AC

general-topology computability descriptive-set-theory cantor-set

Computability viewpoint of Godel/Rosser's incompleteness theorem

logic reference-request computability proof-theory incompleteness

What properties of busy beaver numbers are computable?

computability