Arithmetic hierarchy
Autor:
Přisuzování:
Obrázek je označen jako „Vyžadováno uvedení zdroje“ (Attribution Required), ale nebyly uvedeny žádné informace o přiřazení. Při použití šablony MediaWiki pro licence CC-BY byl pravděpodobně parametr atribuce vynechán. Autoři zde mohou najít příklad pro správné použití šablon.
Shortlink:
Zdroj:
Formát:
335 x 569 Pixel (26596 Bytes)
Popis:
An illustration of the [[:d:Q669094|Aritmetická hierarchie (Q669094)]]
(Translatable version)
Licence:
Relevantní články
Aritmetická hierarchieAritmetická hierarchie je v matematické logice způsob klasifikace podmnožin přirozených čísel s ohledem na složitost formulí, které je definují. Studium aritmetické hierarchie hraje důležitou roli v teorii rekurze a studiu formálních aritmetických teorií jako je například Peanova aritmetika. Aritmetickou hierarchii lze také použít pro elegantní důkaz silnější varianty první Gödelovy věty. .. pokračovat ve čtení