Matematický důkaz: Porovnání verzí

Smazaný obsah Přidaný obsah
ArthurBot (diskuse | příspěvky)
Glivi (diskuse | příspěvky)
Řádek 76:
| curly = ano
}}</ref>, obě čísla této dvojice mají (v [[desítková soustava|desítkové soustavě]]) 58 711 cifer. Přestože jsou známy takto veliké příklady prvočíselných dvojic, není možné považovat [[hypotéza|hypotézu]] za deduktivně (matematicky) prokázanou, neboť je možné, že žádná další větší prvočíselná dvojice již nikdy nalezena nebude – jednoduše proto, že neexistuje. Nicméně předpokládá se (a nutno dodat, že nejen kvůli zde naznačenému induktivnímu důkazu), že tvrzení platí. Jeho důkaz tak zůstává jedním z nejvyzývavějších problémů současné teorie čísel<ref name=mathworld/>.
mmm
 
== Gödelovy věty a hranice deduktivních metod ==