Matematika v 20. století

19. duben 2012 | 16.32 |

Ve dvacátém století se vyskytlo několik pozoruhodných případů nestandardního zacházení se základním matematickým nástrojem, důkazem. Vedle již zmíněného důkazu věty o čtyřech barvách, které počítač asistoval, vyskytly se pokusy o plně automatické dokazování vět. Počítač v nich dostane sadu axiomů zadaných symboly výrokové logiky a z nich vyvozuje stále složitější vlastnosti systému.

Kvalita tohoto odvozování a dokazování je zatím samozřejmě nedostatečná. Ostatně intuice živých matematiků může slavit ohromné úspěchy i bez znalosti pojmu "důkaz": indický matematik Ramanujan ve dvacátých letech odvodil mnoho hlubokých pravd čistě na základě matematického vhledu.

Ve druhé polovině 20.století se matematikou zabývá nebývalé množství lidí. Roste počet matematických časopisů, jejich záběr je hlubší i širší. Vznikají nové obory, ty stávající se štěpí.

Zpět na hlavní stranu blogu

Hodnocení

1 · 2 · 3 · 4 · 5
známka: 0.00 (0x)
známkování jako ve škole: 1 = nejlepší, 5 = nejhorší

Komentáře

 zatím nebyl vložen žádný komentář