Veliki matematički doprinosi

George Boole (1815-1864) (Džorž Bul) bio je engleski filozof i matematičar. Premda takoreći samouk dao je veliki doprinos matematici, a posebno, računarstvu razvivši Bulovu algebru, kao algebarsku strukturu - kolekciju elemenata i operacija na njima - u kojoj se sažimaju osnovna svojstva skupovnih i logičkih operacija, posebno skupovnih operacija preseka, unije i komplementa i njima odgovarajućih logičkih operacija AND, OR i NOT. Osnove svoje teorije on je izneo u delu An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities koje je objavio 1854. godine.
Pojednostavljeno govoreći, logički izraz i njegova negacija ne mogu oba biti tačna

a tvrđenje odgovarajuće tome u teoriji skupova je da je presek skupa A i njegovog komplementa ACuvek prazan skup
.
Kako se istinitosne vrednosti mogu predstaviti i kao binarni brojevi, analogija se može i na njih proširiti (1 puta 0 je 0, a 1 plus 0 je 1). Kada se anlogija proširi na elektronske komponente (ima napona/nema napona, visok napon/nizak napon) dobija se primena Bulove algebre u prekidačkim kolima, koji su u osnovi konstrukcije računara.


Alan Turing (1812-1854) (Alan Tjuring) bio je engleski matematičar, logičar i kriptograf, koji se s pravom smatra ocem modernog računarstva. On je 1936. godine definisao apstraktnu mašinu koja se po njemu zove Tjuringova mašina, koja daje matematički preciznu definiciju algoritma ili "mehaničke procedure". Ona je praktično opis mašine koja će tek biti konstruisana. Njegov cilj je bio da opiše probleme koji mogu logički da se reše.
U toku Drugog svetskog rata Tjuring je radio u Blečli parku (Bletchley Park), tajnom mestu na kome se radilo na razbijanju nemačkih šifara. On lično je dao veliki doprinos razbijanju šifara za mašine Enigma i Lorenz.
Smatra se da je 1954. godine Alan Tjuring izvršio samoubistvo, ali njegova smrt je i danas enigma, pa je o njegovom životu napisano više knjiga i pozorišnih drama.

Dokument:
URL:
Autor: Cvetana Krstev
Poslednja izmena: