New posts in computability

Does the recursion theorem give quines?

computer-science computability

explicit upper bound of TREE(3)

combinatorics graph-theory computability big-numbers

Countable choice and term extraction

logic proof-verification computability axiom-of-choice constructive-mathematics

The word problem for finite groups

group-theory finite-groups computability combinatorial-group-theory decidability

Reference on standard types

reference-request logic computer-science computability type-theory

What is the relationship between ZFC and Turing machine?

logic computational-complexity computability

A result of van der Waerden says Galois theory "needs" incomputable sets - what does this mean, exactly?

galois-theory computability

Recognizing and Using Chaitin's Constant

computer-science computability

Why does the fixed point theorem justify the existence of the factorial function?

computer-science computability fixed-point-theorems fixed-points

Why are $\Delta_1$ sentences of arithmetic called recursive?

logic computability proof-theory

Prove Gödel's incompleteness theorem using halting problem

logic computability incompleteness

What is undecidability

computer-science computability

Fixed points in computability and logic

logic computability fixed-point-theorems incompleteness lambda-calculus

When is Chaitin's constant normal?

computability

Algorithm to answer existential questions - Reduction

number-theory logic computability formal-languages proof-explanation

Any advantages of using Gödel universal functions in proving unsolvability?

logic recursion computability recursive-algorithms

"Proof" that ZFC is inconsistent using Turing machines

logic fake-proofs computability

What is the difference between total recursive and primitive recursive functions

computability

How to show that if there's a mapping reduction from L to its complement, it doesn't imply that L∈R?

computer-science computability formal-languages turing-machines decidability

Tennenbaum's theorem without overspill

model-theory computability peano-axioms nonstandard-models