Ero sivun ”Wikipedia:Kahvihuone (kysy vapaasti)” versioiden välillä
Poistettu sisältö Lisätty sisältö
p Käyttäjän 193.65.112.4 (keskustelu) muokkaukset kumottiin ja sivu palautettiin viimeisimpään käyttäjän HarrivBOT tekemään versioon. |
|||
Rivi 561:
:::Tuon jälkimmäisen suuntaista mutta ei aivan niinkään. Todistamattomista ks. esim [[Hilbertin ongelmat|Hilbertin ensimmäinen ongelma]]. Kysymys toisin muotoiltuna: Voimmeko todistaa, että lausetta x ei voi todistaa (tai että sen voi todistaa), oli x mikä tahansa? Onko lausetta, josta emme koskaan voi tietää, onko se tosi, epätosi tai todistamaton? Ei niin, että aika loppuisi tai todistus olisi liian vaikea, vaan että onko sellaista todistusta ylipäänsä löydettävissä. Voimmeko siis varmuudella luokitella jokaisen lauseen johonkin noista kolmesta luokasta? Näin minä kysymyksen ymmärsin. -t[[Käyttäjä:Kahkonen|Kahkonen]] 8. syyskuuta 2011 kello 20.11 (EEST)
::::Tätä juuri hain. (Sama henkilö, eri tunnus vai). --[[Käyttäjä:Mpadowadierf|Mpadowadierf]] 9. syyskuuta 2011 kello 17.32 (EEST)
:Artikkeli [[matemaattinen todistus]] tarvitsee kirjallisuusluetteloa. --[[Käyttäjä:Thi|Thi]] 8. syyskuuta 2011 kello 19.15 (EEST)
| |||