Hlavní navigace

Názor k článku Softwarová sklizeň (10. 2. 2022) od Filip Jirsák - Gödelova věta se ovšem vztahuje na formální logiku....

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

    Filip Jirsák
    Stříbrný podporovatel

    Gödelova věta se ovšem vztahuje na formální logiku. K její extrapolaci na reálný svět není žádné opodstatnění. Takže pokud ti dva mluví o reálném světě, těžko mohou tvrdit něco rozporného a mít oba dva pravdu. A pokud tvrdí něco o formální logice, měli by se shodnout na tom, že jejich tvrzení jsou obě pravdivá ale jsou ve vzájemném rozporu.