On the Foundations of Computing

"Grundläggande om datavetenskap. Datavetenskapen är idag mer än någonsin en mångfacetterad disciplin som samlar flera metoder, intresseområden och tillvägagångssätt: matematik, ingenjörsvetenskap, programmering och tillämpningar. Med dess enorma inverkan på vardagslivet är det avgörande att dess diskuterade ursprung förstås och att dess olika grundvalar förklaras. Grundläggande om datavetenskap erbjuder en omfattande och kritisk översikt över uppkomsten och utvecklingen av datavetenskapen samt presenterar några av de viktigaste tekniska resultaten och filosofiska problemen inom disciplinen genom historiska och systematiska analyser. Debatterna som texten behandlar är bland de senaste och mest akuta: krisen i matematikens grundvalar och beslutsproblemet, algoritmernas natur, debatter om datorartefakter och funktionsfel samt analys av datoriserade experiment. Genom att täcka dessa ämnen ger Grundläggande om datavetenskap en välbehövlig resurs för att sätta dessa grundfrågor i ett sammanhang. För praktiker, forskare och studenter blir ett historiskt-philosophical angreppssätt såsom det som denna volym erbjuder väsentligt för att förstå disciplinens historia samt hantera framtida utmaningar.