Delamo na obnovitvi aplikacije Unionpedia v trgovini Google Play
OdhodniDohodne
🌟Poenostavili smo našo zasnovo za boljšo navigacijo!
Instagram Facebook X LinkedIn

Dokaz s protislovjem

Index Dokaz s protislovjem

Dokàz s protislóvjem je vrsta logičnega argumenta, kjer se za potrebe argumenta privzame neko predpostavko T kot pravilno in s sklepanjem iz te trditve in drugih že dokazanih trditev in aksiomov pride do protislovnega rezultata, iz česar se lahko sklepa, da je predpostavka T nujno logično napačna.

Kazalo

  1. 13 odnosi: Algoritem, Arhimed, Cantorjev diagonalni dokaz, Dokaz s protislovjem, Dokaz z neskončnim spustom, Hermann Weyl, Kvadratni koren števila 3, Matematični dokaz, Metoda izčrpavanja, Neevklidska geometrija, Seznam filozofskih vsebin, Seznam latinskih izrekov, Seznam matematičnih vsebin.

Algoritem

Diagram poteka algoritma (Evklidov algoritem) za izračun največjega skupnega delitelja dveh števil ''a'' in ''b'' na lokacijah imenovanih A and B. Algoritem uporabi dve zaporedni odštevanji v dveh zankah: IF test B ≥ A vrne "yes" ali "true" (natančneje, ''število'' ''b'' na lokaciji B je večje ali enako ''številu'' ''a'' na lokaciji A) THEN, algoritem priredi B ← B − A (kar pomeni število ''b'' − ''a'' nadomesti stari ''b'').

Poglej Dokaz s protislovjem in Algoritem

Arhimed

Arhimed (tudi Arhimedes), starogrški matematik, fizik, mehanik, izumitelj, inženir in astronom, * 287 pr. n. št., Sirakuze, Sicilija, † 212 pr. n. št., Sirakuze.

Poglej Dokaz s protislovjem in Arhimed

Cantorjev diagonalni dokaz

Cantorjev diagonalni dokaz je matematični dokaz, s katerim je Georg Ferdinand Cantor leta 1877 pokazal, da realnih števil ni števno neskončno.

Poglej Dokaz s protislovjem in Cantorjev diagonalni dokaz

Dokaz s protislovjem

Dokàz s protislóvjem je vrsta logičnega argumenta, kjer se za potrebe argumenta privzame neko predpostavko T kot pravilno in s sklepanjem iz te trditve in drugih že dokazanih trditev in aksiomov pride do protislovnega rezultata, iz česar se lahko sklepa, da je predpostavka T nujno logično napačna.

Poglej Dokaz s protislovjem in Dokaz s protislovjem

Dokaz z neskončnim spustom

Dokaz z neskončnim spustom je v matematiki oblika dokaza in še posebej oblika dokaza s protislovjem, pri kateri se uporabi dejstvo, da je naravnih števil manjših od n\, končno mnogo in sloni na načelu najmanjšega celega števila.

Poglej Dokaz s protislovjem in Dokaz z neskončnim spustom

Hermann Weyl

Hermann Klaus Hugo Weyl, nemški matematik in fizik, * 9. november 1885, Elmshorn pri Hamburgu, Prusija, Nemško cesarstvo (sedaj Nemčija), † 8. december 1955, Zürich, Švica.

Poglej Dokaz s protislovjem in Hermann Weyl

Kvadratni koren števila 3

Kvadratni koren števila 3 je pozitivno realno število, ki pomnoženo samo s seboj da naravno število 3.

Poglej Dokaz s protislovjem in Kvadratni koren števila 3

Matematični dokaz

language.

Poglej Dokaz s protislovjem in Matematični dokaz

Metoda izčrpavanja

Metóda izčrpávanja (tudi metóda ekshávcije) je v matematiki metoda iskanja površine oblik (likov, teles) z včrtavanjem zaporedja mnogokotnikov katerih površina konvergira k tej obliki.

Poglej Dokaz s protislovjem in Metoda izčrpavanja

Neevklidska geometrija

Neevklidska geometrija je geometrija, ki sloni na drugačnih aksiomih kot običajna evklidska geometrija.

Poglej Dokaz s protislovjem in Neevklidska geometrija

Seznam filozofskih vsebin

Seznam filozofskih vsebin zajema vse članke, ki se nanašajo na filozofijo, filozofsko terminologijo, oziroma obravnavajo pomembne filozofske in za filozofsko ukvarjanje pomembne pojme.

Poglej Dokaz s protislovjem in Seznam filozofskih vsebin

Seznam latinskih izrekov

To je seznam nekaterih latinskih in starorimskih izrekov in rekov, urejenih po abecedi, s slovenskimi prevodi in pomenom.

Poglej Dokaz s protislovjem in Seznam latinskih izrekov

Seznam matematičnih vsebin

Seznam matematičnih vsebin poskuša podati vse članke, ki se v Wikipediji nanašajo na matematiko in prvenstveno služi za nadzorovanje sprememb.

Poglej Dokaz s protislovjem in Seznam matematičnih vsebin

Prav tako znan kot Prevedba na protislovje, Reductio ad absurdum.