Názor k článku Softwarová sklizeň (10. 2. 2022) od hgfdsa - Ešte raz! Druhá polovica Gödelovho dôkazu tvrdí: Ak je logika...

Ešte raz!
Druhá polovica Gödelovho dôkazu tvrdí:
Ak je logika úplná tak nevyhnutne obsahuje aspoň dve platné tvrdenia, ktoré sú vo vzájomnom rozpore.

To nie je žiadne "vykvajzovanie" dôkazov - ide o aspoň dve rôzne a súčasne SPRÁVNE t.j. formálne bezchybné dôkazy, ktoré si však vo výsledku protirečia.

A teraz po lopate:
Ak sa dva ľudia nezhodnú, neznamená to že jeden z nich sa musí mýliť.