Charles Explorer logo
🇨🇿

Matematizace kontinua

Publikace |
2011

Abstrakt

Klasické pojetí reálných čísel je srovnáno s dvěmi alternativními pojetími. Konstruktivní analýza uvažuje pouze algoritmická reálná čísla, zatímco nestandardní analýza uvažuje i nekonečně malá a nekonečně velká reálná čísla.