Hlavní navigace

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...

  • Článek je starý, nové názory již nelze přidávat.
  • 15. 2. 2022 18:14

    hgfdsa

    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ť.