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

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.