Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.

Aksioma, Teorema, Dokaz

[es] :: Matematika :: Aksioma, Teorema, Dokaz

[ Pregleda: 3048 | Odgovora: 2 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

Fitopatolog
Dušan Marjanov
Novi Sad

Član broj: 90936
Poruke: 683
*.static.cytanet.com.cy.



+3 Profil

icon Aksioma, Teorema, Dokaz03.09.2011. u 07:35 - pre 153 meseci
Savremena matematika počiva na konceptu iz naslova: Neka teorija je dobra ako kroz čitav set teorema te teorije ne nalazimo protivrečnost u odnosu na početni set aksioma. Na prvi poged, zdravorazumski, ovo izgleda sasvim u redu. Na drugi pogled - da li ovo treba i dokazati? Ako da, da li se to može uraditi u okviru postojećeg koncepta iz naslova ili ne?
 
Odgovor na temu

kaćunčica

Član broj: 271602
Poruke: 31
*.mynsn.net.



+2323 Profil

icon Re: Aksioma, Teorema, Dokaz05.09.2011. u 06:19 - pre 152 meseci
Zakuni se da ti je zakletva prava? Dokaži da ti je dokaz dokaz?
"Ne teče reka, nego voda. Kao što ne prolazi vrijeme, nego mi"
 
Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
89.216.32.*



+2789 Profil

icon Re: Aksioma, Teorema, Dokaz05.09.2011. u 07:44 - pre 152 meseci
Matematika se zasniva preko aksiomatske teorije skupova. ZFC je standarna aksiomatika. Ona počiva na predikatskom računu prvog reda. Dakle, prihvataju se pravila izvođenja predikatskog računa, aksiome predikatskog računa prvog reda i aksiome teorije skupova kao polazna osnova. Unutar tog sistema se mogu izložiti sve matematičke teorije. Dakle, neprotivrečnost tih drugih teorija se dokazuje unutar teorije skupova.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.
 
Odgovor na temu

[es] :: Matematika :: Aksioma, Teorema, Dokaz

[ Pregleda: 3048 | Odgovora: 2 ] > FB > Twit

Postavi temu Odgovori

Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.