Matematický důkaz: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: sr:Математички доказ |
m →Hypotéza prvočíselných dvojic: překlep |
||
Řá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/>.
== Gödelovy věty a hranice deduktivních metod ==
|