Wikidata facts
- Part of
- set theory
Show 4 more facts
- maintained by WikiProject
- WikiProject Mathematics
- discoverer or inventor
- Paul Cohen
- topic's main category
- Category:Forcing (mathematics)
- Stack Exchange tag
- mathoverflow.net/tags/forcing
Sources (3)
via Wikidata · CC0
Article · Polski
Forsing (forcing) – metoda dowodzenia niesprzeczności i niezależności zdań teorii mnogości względem aksjomatów Zermela-Fraenkla. Forsing to jedna z metod używanych w matematyce do ścisłego udowodnienia, że pewnych stwierdzeń nie można ani udowodnić, ani obalić (ten ostatni termin oznacza udowodnienie zaprzeczenia). Polska terminologia w teorii forsingu nie jest jednoznacznie ustalona, chociaż polskojęzyczni matematycy mieli (i mają) wkład w rozwój tej teorii. Angielskie zwroty forcing i forcing relation tłumaczone są jako forsing, forcing, wymuszanie oraz relacja forsingu, relacja forcingu lub relacja wymuszania. W tym artykule zastosowano fonetyczną interpretację nazewnictwa angielskiego.
Abstract from DBpedia / Wikipedia · CC BY-SA