Názor k článku Softwarová sklizeň (10. 2. 2022) od hgfdsa - V 1931 dokázal Gödel niečo v zmysle: Ľubovoľná (matematická)...
-
V 1931 dokázal Gödel niečo v zmysle:
Ľubovoľná (matematická) logika je buď bezosporná a potom neúplná, alebo úplná a potom protirečivá.
ČLÁNKY DO MAILU