Matematika v 20. století-Informatika

18. duben 2012 | 16.32 |

Do tohoto leptání matematického sebevědomí se krátce poté zapojil britský matematik Alan Turing, když negativně rozřešil tzv. "Entscheidungsproblem". Při této příležitosti vytvořil model Turingova stroje, čímž položil teoretické základy teorii složitosti a vůbec celé informatiky, nového odvětví matematiky zabývající se zejména algoritmizací.

Počítače se ukázaly být poměrně revoluční změnou v chápání užitečnosti matematiky. Na jednu stranu se jejich konstrukce neobejde bez chytrých matematických aplikací (viz např. šifrovací algoritmus RSA),na druhou stranu umožňují mechanicky procházet mnohem víc možností, než by stihli lidé a tak podlamují praktickou užitečnost matematického důkazu. I ten navíc pod jejich vlivem doznává změn: V roce 1976 byla dokázána věta o čtyřech barvách počítačovou analýzou tisíce případů, na které šlo hlavní problém rozložit a dlouho se vedly spory, je-li takovýto způsob vedení důkazu korektní.

Zpět na hlavní stranu blogu

Hodnocení

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

Komentáře

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