22 vztahy: ArXiv, Axiom, Bezesporná teorie, Booleova algebra, Dana Scott, Filtr (matematika), Hypotéza kontinua, Löwenheimova-Skolemova věta, Matematický důkaz, Matematika, Model (logika), Negace, Paul Cohen, Petr Vopěnka, Podmnožina, Portable Document Format, PostScript, Spočetná množina, Teorie množin, Teorie polomnožin, Zermelova-Fraenkelova teorie množin, ZFC.
ArXiv
arXiv (vyslovuje se „archiv“, jako by „X“ představovalo řecké písmeno chí – Χ) je elektronický archiv preprintů vědeckých prací z oblasti matematiky, fyziky, informatiky a biologie, který je volně dostupný na internetu.
Nový!!: Forsing a ArXiv · Vidět víc »
Axiom
Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje.
Nový!!: Forsing a Axiom · Vidět víc »
Bezesporná teorie
Bezesporná teorie (také konzistentní teorie) je označení používané v matematické logice pro formální teorii, která neobsahuje spor; v opačném případě se používá označení sporná teorie.
Nový!!: Forsing a Bezesporná teorie · Vidět víc »
Booleova algebra
Booleova algebra je algebraická struktura se dvěma binárními a jednou unární operací, která zobecňuje vlastnosti množinových a logických operací.
Nový!!: Forsing a Booleova algebra · Vidět víc »
Dana Scott
Dana Stewart Scott (* 11. října 1932, Berkeley, USA) je americký informatik, matematik, logik a filosof.
Nový!!: Forsing a Dana Scott · Vidět víc »
Filtr (matematika)
Pojem filtr je v matematice, konkrétně v teorii uspořádání používán pro podmnožiny uspořádaných množin, jejichž prvky lze v jistém smyslu považovat za „velké“ podle daného uspořádání.
Nový!!: Forsing a Filtr (matematika) · Vidět víc »
Hypotéza kontinua
Hypotéza kontinua (označovaná někdy jako CH (z anglického Continuum Hypothesis)) je matematické tvrzení formulované poprvé Georgem Cantorem v roce 1882.
Nový!!: Forsing a Hypotéza kontinua · Vidět víc »
Löwenheimova-Skolemova věta
#PŘESMĚRUJ Löwenheimova–Skolemova věta.
Nový!!: Forsing a Löwenheimova-Skolemova věta · Vidět víc »
Matematický důkaz
Základů''. Jeden z nejstarších dochovaných matematických důkazů V matematice je důkaz demonstrace nutné pravdivosti nějakého tvrzení za určitých předpokladů (axiomů).
Nový!!: Forsing a Matematický důkaz · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Forsing a Matematika · Vidět víc »
Model (logika)
Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky.
Nový!!: Forsing a Model (logika) · Vidět víc »
Negace
Logická negace (používá se pro ni symbol \neg nebo \mathrm, popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.
Nový!!: Forsing a Negace · Vidět víc »
Paul Cohen
Paul Joseph Cohen (2. dubna 1934 Long Branch, New Jersey, USA – 23. března 2007 Palo Alto, Kalifornie) byl americký matematik, který dokázal nezávislosti hypotézy kontinua a axiomu výběru ze Zermelovy-Fraenkelovy teorie množin metodou zvanou forcing.
Nový!!: Forsing a Paul Cohen · Vidět víc »
Petr Vopěnka
Petr Vopěnka (16. května 1935, Praha – 20. března 2015, Praha) byl český matematik a filozof.
Nový!!: Forsing a Petr Vopěnka · Vidět víc »
Podmnožina
B je podmnožina A, A je nadmnožina B V matematice se jako podmnožina množiny A označuje taková množina B, o jejíchž všech prvcích platí, že jsou zároveň i prvky množiny A. Obdobně se může množina A označit jako nadmnožina množiny B. Tato fakta značíme B \subseteq A, případně A \supseteq B. Relace „být podmnožinou“ se nazývá také inkluze.
Nový!!: Forsing a Podmnožina · Vidět víc »
Portable Document Format
PDF (zkratka anglického názvu Portable Document Format – Přenosný formát dokumentů) je souborový formát vyvinutý firmou Adobe pro ukládání dokumentů nezávisle na softwaru i hardwaru, na kterém byly pořízeny.
Nový!!: Forsing a Portable Document Format · Vidět víc »
PostScript
PostScript je programovací jazyk určený ke grafickému popisu tisknutelných dokumentů vyvinutý v roce 1985 firmou Adobe Systems Incorporated.
Nový!!: Forsing a PostScript · Vidět víc »
Spočetná množina
Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel.
Nový!!: Forsing a Spočetná množina · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Forsing a Teorie množin · Vidět víc »
Teorie polomnožin
Teorie polomnožin je matematická teorie zobecňující teorii množin, která byla vyvinuta v 70.
Nový!!: Forsing a Teorie polomnožin · Vidět víc »
Zermelova-Fraenkelova teorie množin
#PŘESMĚRUJ Zermelova–Fraenkelova teorie množin.
Nový!!: Forsing a Zermelova-Fraenkelova teorie množin · Vidět víc »
ZFC
ZFC je zkratka z matematického oboru teorie množin.
Nový!!: Forsing a ZFC · Vidět víc »
Přesměrování zde:
Forcing, Generické rozšíření, Generické rozšíření modelu teorie množin.