Ugrás a fő tartalomra

Az aritmetikai hierarchia: Δ, Σ, Π — mit dönt el egy algoritmus?

Eldönthetőség, véges tanúk és végtelen keresések: a Δ, Σ, Π osztályok pontos magyarázata, Busy Beaver-, Collatz- és formális bizonyítási esettanulmányokkal.

Megnyitás a honlapon

Ismeretterjesztő írások

Oktató anyagok, cikkek, tanulmányok és egyéb írások – természettudományról, matematikáról, informatikáról –, magyarul és angolul.

Kiemelt írások

Teljes tartalomjegyzék

    Ide a szerkesztő által kézzel kiemelt írások kerülnek.