Konputazioaren zientziak: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
150.241.162.240 (eztabaida) wikilariaren 5996708 berrikuspena desegin da |
212.55.25.240 (eztabaida) wikilariaren 5996706 berrikuspena desegin da |
||
16. lerroa:
=== Logika ===
este parrafo ha sido eliminado. SORRY!!!!!
Kriptografian egindako ikerketak, mezuen igorpena eta kodetzea informazioaren teoriara bideratu behar ziren. Logikaren jatorria [[Aristoteles]]en garaira (K.a. IV. mendea) eraman behar da, gutxienez. [[Euklides]]ek eta [[Eratostenes]]ek algoritmo klasikoak asmatu zituzten; [[Al-Khuwarizmi]] persiarrak kontzeptua berritu zuen eta bere izena eman zion, eta [[Leonardo Pisano|Leonardo Fibonaccik]] Europan sartu zuen [[XIII. mendea]]ren hasieran. Leibnizek kalkulu automatikoari egin zion ekarpenaz gainera, beste bi ekarpen handi egin zituen: ezaugarri unibertsalaren ideia eta aljebraren arrazionaltasuna logikara zabaldu zuen proposizioen sintaxia. Zenbakera bitarra [[Francis Bacon]]i esker ezagutu zen Europan, baina Leibniz izan zen sistema hura kalkulu automatikora egokitu zuen lehena. [[George Boole]]k Aristotelesen logikaren formulazio matematikoa egin zuen. Britainiar matematikari talde batek, [[Bertrand Russell]] buru zuela, ''Principia mathematica'' lana argitaratu zuen 1910ean. Lan hartan matematikak sistema formal batean osatzea proposatzen zen, zeinetan proposizio oro kalkulu logiko baten arabera frogatu ahal izango baitzen.
1931n [[Kurt Gödel]] austriarrak frogatu zuen aritmetika adierazteko gai den sistema formal orok dituela benetako ezaugarriak, baina sistema horren beraren arauekin ezin froga daitekeela ezaugarri horien egiatasuna edo faltsutasuna. Teorema horrek bertan behera uzten zituen matematikak dedukzio sistema koherente batean biltzeko asmoa. [[Alan Turing]] britainiarrak automata eredu bat egin zuen, algoritmo kontzeptua defini zezakeena. Turingek Princetongo ([[Ameriketako Estatu Batuak]]) ''Institute for Advanced Studies'' institutuaren diru laguntza lortu zuen eta han ezagutu zituen [[Albert Einstein]], [[John von Neumann]] eta [[Alonzo Church]]. Hala, lehenengo ordenagailua egin baino hamar urte lehenago bildu ziren informatikaren oinarrien egileak. Azkenik, 1945ean [[John von Neumann]]ek ordenagailuen egitura materiala definitu zuen. Beraz, kalkulu eredu baten gainean osatu da informatika, Turingen makinaren gainean hain zuzen.
=== Informatika modernoa ===
| |||