ellentmondásmentesség - ez azért fontos, mert a klasszikus logika szerint, ha egy elmélet ellentmondásos, akkor benne bármely kijelentés egyszerre bizonyítható is és cáfolható is, ...
Az ellentmondásmentességről, a valószerűségről.
Áttekintve az eddigieket, amellett hogy - reményeink szerint - kissé kézzelfoghatóbbá vált olvasóink számára a hiperbolikus geometria,várhatóan két kérdés vetődik fel olvasóinkban: ...
[3] Ahogyan az előszóban azt kérdeztük, vajon az axiomatika a maga teljességi követelményét a teljesség igényével fogalmazza-e meg, ugyanúgy azt a kérdést is fel kell tennünk, vajon ellentmondásmentes-e az ellentmondásmentesség axiomatikus ...
(1906-1978) Logikával foglalkozó matematikus, aki megmutatta, hogy minden, az aritmetikát is magába foglaló matematikai rendszer ellentmondásmentessége a rendszeren belül nem bizonyítható.
(Azaz ZFC ellentmondásmentessége esetén a kontinuum hipotézis feltételezése nem vezet elelntmondásra.) A 60-as években Paul Cohen igazolta, hogy a kontinuum hipotézis tagadása nem okoz ellentmondást a ZFC axiómarendszerben.
A modelleknek nagy jelentősége van az úgynevezett relatív ellentmondásmentességi bizonyításokban.
(Ezzel közvetve az ellentmondásmentességet tették meg az igaz állítás kritériumának.) Ilymódon egyrészt fölmerült a bizonyítás igénye, ...
Nagy szerepet játszott az Appendix az axiómatikus módszerek kidolgozásában. A nemeuklidészi geometriával szoros összefüggésben merült fel először az axiómarendszerek függetlenségének, ellentmondásmentességének, teljességének a kérdése.
 See also: Geometria, Modell, Axióma, Háromszög, Sík
  
|
RSS
