Forsing (používá se též anglický termín forcing) je v matematice obecná důkazová technika, která je základní metodou pro dokazování relativních konzistencí v teorii množin. Poprvé ji použil roku 1962 americký matematik Paul Cohen. O rok později užitím forsingu dokázal bezespornost negace hypotézy kontinua s axiomy Zermelo-Fraenkelovy teorie množin. Ještě v 60. letech 20. století byla rozpracována Dana Scottem, Robertem Solovayem a Petrem Vopěnkou do teorie booleovsky ohodnocených modelů.

PropertyValue
prop-cs:isbn
  • 0 (xsd:integer)
  • 80 (xsd:integer)
prop-cs:jméno
  • Petr
  • Bohuslav
  • Kenneth
prop-cs:odkazNaAutora
  • Petr Štěpánek
  • Kenneth Kunen
  • Bohuslav Balcar
prop-cs:příjmení
  • Štěpánek
  • Balcar
  • Kunen
prop-cs:rok
  • 1980 (xsd:integer)
  • 2001 (xsd:integer)
prop-cs:titul
  • Teorie množin
  • Set theory: An Introduction to Independence Proofs
prop-cs:vydavatel
  • Academia
  • North-Holland
prop-cs:vydání
  • 2 (xsd:integer)
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Forsing (používá se též anglický termín forcing) je v matematice obecná důkazová technika, která je základní metodou pro dokazování relativních konzistencí v teorii množin. Poprvé ji použil roku 1962 americký matematik Paul Cohen. O rok později užitím forsingu dokázal bezespornost negace hypotézy kontinua s axiomy Zermelo-Fraenkelovy teorie množin. Ještě v 60. letech 20. století byla rozpracována Dana Scottem, Robertem Solovayem a Petrem Vopěnkou do teorie booleovsky ohodnocených modelů. Forsing je v současné době v podstatě univerzální metodou pro dokazování relativních konzistencí v teorii množin.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 200176 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4954 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 32 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 14919435 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Forsing
  • forsing
dcterms:subject
rdfs:comment
  • Forsing (používá se též anglický termín forcing) je v matematice obecná důkazová technika, která je základní metodou pro dokazování relativních konzistencí v teorii množin. Poprvé ji použil roku 1962 americký matematik Paul Cohen. O rok později užitím forsingu dokázal bezespornost negace hypotézy kontinua s axiomy Zermelo-Fraenkelovy teorie množin. Ještě v 60. letech 20. století byla rozpracována Dana Scottem, Robertem Solovayem a Petrem Vopěnkou do teorie booleovsky ohodnocených modelů.
rdfs:label
  • Forsing
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of