Ugrás a fő tartalomra

The arithmetical hierarchy: Δ, Σ, Π — what can an algorithm decide?

Decidability, finite witnesses and infinite searches: a precise guide to the Δ, Σ and Π classes, with Busy Beaver, Collatz and formal-proof case studies.

Open on the site

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.