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 [[Intuiciismo|intuiciistoj]]
# La fama [[Hilbert]]-a kredo, ke homaro kapablas solvi ĉiun frazon, eblas (tiun varianton elektis matematikistoj [[Kolmogorov]] kaj [[Aleksandr Aleksandrov|Aleksandrov]], ekzemple)
|