Predikata logiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Arseno (diskuto | kontribuoj) |
Arseno (diskuto | kontribuoj) |
||
Linio 25:
La unua el [[teoremoj de nekompleteco|Gödel-aj teoremoj]] mesaĝis, ke eblas frazoj, kiujn komputiloj povas nek pruvi, nek malpruvi.
Tial la du variantojn mi povas reskribi:
# Matematiko (almenaŭ, la homa matematiko) estas ĉiam programebla kaj homaro neniam ekscios solvon pri kelkaj frazoj (tiun varianton elektis la matematikistoj «konstruistoj»,
# La fama [[Hilbert]]-a kredo, ke homaro kapablas solvi ĉiun frazon, eblas (la soveta matematikisto [[Kolmogorov]], ekzemple)
| |||