„Matematikai bizonyítás” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Bot: következő hozzáadása: ur:ریاضیاتی ثبوت |
a Bottal végzett egyértelműsítés: Hilbert –> David Hilbert |
||
56. sor:
== Formális és informális bizonyítás ==
Az, hogy miből származik a tételek igazsága – jobban mondva bizonyítottsága, bizonyíthatósága – azt a matematikusok közösségének döntő többsége, [[Gottlob Frege|Frege]] és [[David Hilbert|Hilbert]] bizonyításelméleti kutatásaira alapozva a következőképpen látja:
:Az '''A''' kijelentés bizonyítása lényegében nem más, mint állítások egy olyan véges
::('''A'''<sub>1</sub>,'''A'''<sub>2</sub>, '''A'''<sub>3</sub>, …,'''A'''<sub>n</sub>)
|