Ord och uttryck i it-branschen
I IDG:s ordlista: artiklar som nämner händelser som inträffade år 1931. Årtalstaggar gäller: födelseår för personer, lanseringsår för produkter, det år företag grundades samt årtal då viktiga händelser inträffade.
norsk datorforskare (1931—2002), som 1961—67 tillsammans med Kristen Nygaard† utvecklade den objektorienterade modellen för systemutveckling. Deras Simula 67 räknas som det första objektorienterade programspråket. Dahl och Nygaard belönades 2002 med Turingpriset (se länk) och von Neumann‑medaljen (se länk).
[ole-johan dahl] [personer] [systemutveckling] [ändrad 28 juni 2021]
das Entscheidungsproblem – frågan om det går att avgöra ifall ett matematiskt eller logiskt påstående är sant eller falskt på ett mekaniskt sätt (alltså med en algoritm) som ger rätt svar för alla matematiska och logiska påståenden. – Problemet fick sitt namn av den tyska matematikern David Hilbert (1862—1942, se Wikipedia – se också Hilberts paradox), men andra filosofer och matematiker hade tänkt i samma banor tidigare. Ett annat sätt att se på saken är att fråga ifall det finns ett logiskt‑matematiskt språk som kan användas för att formulera varje tänkbart problem, och som också kan användas för att räkna ut lösningen. Kurt Gödels† ofullständighetssats från 1931 visade indirekt att det inte går att avgöra, och något senare visade Alan Turing† och Alonzo Church†, oberoende av varandra och på olika sätt, att svaret på frågan är nej. Turings bevis innehöll beskrivningen av det som numera kallas för Turingmaskiner. (Avgörbarhetsproblemet kallas också för avgörandeproblemet.)
[matematik och logik] [ändrad 6 juni 2017]
österrikisk-amerikansk matematiker och logiker (1906—1978). – Kurt Gödels ofullständighetssats från 1931 inspirerade Alan Turing† till analysen av stopproblemet. – Ofullständighetssatsen visar att det inte kan finnas logiska och/eller matematiska system som på samma gång är heltäckande och motsägelsefria. Med heltäckande menas att regelsystemet kan tillämpas på alla påståenden som kan formuleras inom systemet. I varje system av lagar, regler och symboler – till exempel matematik – kan man, visade Gödel, alltid hitta påståenden som uppenbarligen är sanna, men som inte kan bevisas inom ramen för systemet. Det går kanske att bevisa påståendet om man lägger till nya regler – men om man gör det så går det ofelbart att, med användning även av de nya reglerna, formulera nya påståenden som i sin tur inte kan bevisas, men som ändå uppenbarligen är sanna. Detta bevisade han i artikeln ”Über formal unentscheidbare Sätze der Principia Mathematica und Verwandte System” (engelsk översättning här). – I själva verket finns det två ofullständighetssatser, som hör ihop:
– Se också Entscheidungsproblem. – Gödel lämnade Österrike efter den tyska ockupationen 1938 och fick då en tjänst på Institute of advanced study (ias.edu) i Princeton, New Jersey, där han blev god vän med Albert Einstein. – Gödelpriset är uppkallat efter Kurt Gödel. – En biografi över Kurt Gödel är Ofullständighet: Kurt Gödels bevis och paradox (Incompleteness: The proof and paradox of Kurt Gödel, 2005) av Rebecca Goldstein (webbplats).
[för- och bihistoria] [kurt gödel] [matematik och logik] [personer] [ändrad 6 maj 2020]