Ero sivun ”Matematiikkaa a'la Masa” versioiden välillä
Siirry navigaatioon
Siirry hakuun
Ei muokkausyhteenvetoa |
p (5 revisions) |
||
| (2 välissä olevaa versiota toisen käyttäjän tekemänä ei näytetä) | |||
| Rivi 1: | Rivi 1: | ||
Teoreemia [[Matti Soittola]]n kursseilta esitettyinä ilman todistusta: | |||
* '''Epäsoittolamainen geometria:''' Geometrian kurssin luennoi kuka tahansa muu. | |||
* '''Materiaalisen implikaation laki:''' Jos tunnet, että demosi on oikein, niin se on väärin. | |||
* '''Soittolan epätäydellisyyslause:''' "Eihän tätä näin tehdä." | |||
* '''Analyyttisen jatkamisen periaate:''' Jos olet kerran väärässä, niin olet aina väärässä. | |||
* '''Soittolan jatkolause:''' Jos olet kerran väärässä, niin olet taululla peräkkäisissä demoissa niin usein, että olet oikeassa. | |||
* '''Soittolan paradoksi:''' Jos oppilas osaa todistaa tuloksen pitkällä tavalla, niin Soittola todistaa sen lyhyellä. Jos taas oppilas todistaa tuloksen lyhyesti, niin todistus on keskeneräinen. | |||
* '''Soittolan hypoteesi:''' Kaikki matematiikka-ohjelmat ovat aina huonoja. | |||
* '''Monotonisen konvergenssin lause:''' Jossain vaiheessa keittää yli. | |||
* '''Soittolan lemma:''' Jos merkitset n tehtävää lasketuksi, ja tarkalleen yksi niistä on väärin, niin lemman mukaan joudut esittämään taululla täsmälleen sen väärin olevan (olipa n kuinka suuri hyvänsä). | |||
Huom. Nimien selitykset: epäeuklidinen geometria, Gödelin epätäydellisyyslause, Tietzen jatkolause, Russellin paradoksi, Riemannin hypooteesi, Zornin lemma. Mutta tiedätkö, miksi Soittolan teoreemoilla on ekvivalenssi niiden kanssa? | |||
Nykyinen versio 22. tammikuuta 2016 kello 15.58
Teoreemia Matti Soittolan kursseilta esitettyinä ilman todistusta:
- Epäsoittolamainen geometria: Geometrian kurssin luennoi kuka tahansa muu.
- Materiaalisen implikaation laki: Jos tunnet, että demosi on oikein, niin se on väärin.
- Soittolan epätäydellisyyslause: "Eihän tätä näin tehdä."
- Analyyttisen jatkamisen periaate: Jos olet kerran väärässä, niin olet aina väärässä.
- Soittolan jatkolause: Jos olet kerran väärässä, niin olet taululla peräkkäisissä demoissa niin usein, että olet oikeassa.
- Soittolan paradoksi: Jos oppilas osaa todistaa tuloksen pitkällä tavalla, niin Soittola todistaa sen lyhyellä. Jos taas oppilas todistaa tuloksen lyhyesti, niin todistus on keskeneräinen.
- Soittolan hypoteesi: Kaikki matematiikka-ohjelmat ovat aina huonoja.
- Monotonisen konvergenssin lause: Jossain vaiheessa keittää yli.
- Soittolan lemma: Jos merkitset n tehtävää lasketuksi, ja tarkalleen yksi niistä on väärin, niin lemman mukaan joudut esittämään taululla täsmälleen sen väärin olevan (olipa n kuinka suuri hyvänsä).
Huom. Nimien selitykset: epäeuklidinen geometria, Gödelin epätäydellisyyslause, Tietzen jatkolause, Russellin paradoksi, Riemannin hypooteesi, Zornin lemma. Mutta tiedätkö, miksi Soittolan teoreemoilla on ekvivalenssi niiden kanssa?