New posts in Decidability

Undecidable easy arithmetical statement

Is it decidable to check if an element has finite order or not?

Undecidable puzzles

Decidability of a matrix product being the identity

Decidability of periodic tilings of the plane

For which Millennium Problems does undecidable -> true?

Decidability in groups

Has decidability got something to do with primes?

Non-constructive proofs of decidability?