Snabbare tillgång än webbläsare!
27 relationer: Alan Turing, Algoritm, Automatteori, Avgörbarhetsproblemet, Beräkningsteori, Brainfuck, Church-Turings hypotes, Cryptonomicon, Dator, Datorns historia, David Deutsch (fysiker), Goodsteins sats, Hilary Putnam, Kolmogorovkomplexitet, Komplexitetsklass, Langtons myra, Lista över eponymer, Millennieproblemen, NP, Ook, P, P=NP?, Rekursiv funktion, Turingkomplett, Turingtestet, Warren Sturgis McCulloch, Z3.
Alan Turing
Sir Alan Mathison Turing (IPA), OBE, FRS, född 23 juni 1912 i Maida Vale, London, död genom förgiftning den 7 juni 1954 i Wilmslow, Cheshire, var en brittisk matematiker, logiker och kryptoanalytiker.
Ny!!: Turingmaskin och Alan Turing · Se mer »
Algoritm
Flödesscheman ger en grafisk representation av algoritmer. sovjetiskt frimärke. En algoritm är, inom matematiken och datavetenskapen, en ändlig uppsättning (mängd) otvetydiga instruktioner som efter exekvering löser ett problem.
Ny!!: Turingmaskin och Algoritm · Se mer »
Automatteori
Inom automatteori studerar man matematiska modeller för utförande av beräkningar, allmänt kallade automater.
Ny!!: Turingmaskin och Automatteori · Se mer »
Avgörbarhetsproblemet
Inom matematik och datavetenskap är Avgörbarhetsproblemet eller Entscheidungsproblemet (av tyskans Entscheidung 'beslut') en fråga som ursprungligen formulerades av David Hilbert 1928: Enligt Gödels fullständighetssats för första ordningens logik är en utsaga universellt giltig om och endast om den kan härledas från dess axiom, så avgörbarhetsproblemet kan också ses som frågan om huruvida en utsaga är bevisbar utifrån axiomen eller inte.
Ny!!: Turingmaskin och Avgörbarhetsproblemet · Se mer »
Beräkningsteori
Beräkningsteori, som är en underdisciplin till matematik och datavetenskap, behandlar analys av problem, indata och algoritmer.
Ny!!: Turingmaskin och Beräkningsteori · Se mer »
Brainfuck
Brainfuck är ett turingkomplett esoteriskt programspråk skapat 1993 av den schweiziske fysikstudenten Urban Müller, med syfte att skapa ett språk med så liten kompilator som möjligt.
Ny!!: Turingmaskin och Brainfuck · Se mer »
Church-Turings hypotes
Inom matematik och beräkningsteori innebär Church-Turings hypotes påståendet att en matematisk funktion är effektivt beräkningsbar om och endast om den kan beräknas med hjälp av en algoritm på en Turingmaskin, d.v.s. om beräkningarna kan utföras med någon annan godtycklig manuell eller mekanisk metod, så kan de också utföras av en sådan maskin.
Ny!!: Turingmaskin och Church-Turings hypotes · Se mer »
Cryptonomicon
Cryptonomicon (publicerad 1999) är en bok av Neal Stephenson.
Ny!!: Turingmaskin och Cryptonomicon · Se mer »
Dator
Superdatorn Columbia hos NASA. Illustration av en modern persondator. En dator (tidigare datamaskin eller matematikmaskin) är en maskin som kan bearbeta data och utföra beräkningar automatiskt, effektivare än vad som kan göras manuellt.
Ny!!: Turingmaskin och Dator · Se mer »
Datorns historia
Datorns historia sträcker sig över den tid då människan konstruerat maskiner för att göra beräkningar och bearbeta data.
Ny!!: Turingmaskin och Datorns historia · Se mer »
David Deutsch (fysiker)
David Elieser Deutsch, född 18 maj 1953, är en israelisk-brittisk fysiker vid Oxfords universitet.
Ny!!: Turingmaskin och David Deutsch (fysiker) · Se mer »
Goodsteins sats
Goodsteins teorem är inom matematisk logik ett uttalande om de naturliga talen, som Reuben Goodstein bevisade 1944, vilket säger att varje Goodstein-sekvens till slut terminerar vid 0.
Ny!!: Turingmaskin och Goodsteins sats · Se mer »
Hilary Putnam
Hilary Whitehall Putnam, född 31 juli 1926 i Chicago, Illinois, död 13 mars 2016 i Boston, Massachusetts, var en amerikansk filosof.
Ny!!: Turingmaskin och Hilary Putnam · Se mer »
Kolmogorovkomplexitet
Kolmogorovkomplexiteten av ett objekt, såsom en textsträng, är ett mått på beräkningsresurserna som krävs för att specificera objektet eller med andra ord ett mått på hur kaotiskt objektet är.
Ny!!: Turingmaskin och Kolmogorovkomplexitet · Se mer »
Komplexitetsklass
Komplexitetsklass är inom komplexitetsteori en mängd beräkningsproblem som har liknande resursbaserad komplexitet.
Ny!!: Turingmaskin och Komplexitetsklass · Se mer »
Langtons myra
Tabell över myrans första 100 steg, och vad som händer efter c:a 10000 respektive 12000 steg. Langtons myra (eng. Langton's ant) är en tvådimensionell Turingmaskin med en mycket enkel uppsättning regler, uppfunnen av den amerikanska datorvetaren Chris Langton 1986.
Ny!!: Turingmaskin och Langtons myra · Se mer »
Lista över eponymer
Detta är en lista över eponymer i alfabetisk ordning.
Ny!!: Turingmaskin och Lista över eponymer · Se mer »
Millennieproblemen
Millennieproblemen är sju berömda problem inom matematiken, varav sex fortfarande är olösta.
Ny!!: Turingmaskin och Millennieproblemen · Se mer »
NP
NP betecknar mängden beslutsproblem som kan lösas på polynomiell tid av en icke-deterministisk Turingmaskin.
Ny!!: Turingmaskin och NP · Se mer »
Ook
Ook! är ett programspråk som är en variant på programspråket Brainfuck, med den skillnaden att brainfuck-symbolerna ersätts med "Ook.", "Ook?" och "Ook!".
Ny!!: Turingmaskin och Ook · Se mer »
P
Parkeringsplats. P är den sextonde bokstaven i det moderna latinska alfabetet.
Ny!!: Turingmaskin och P · Se mer »
P=NP?
P.
Ny!!: Turingmaskin och P=NP? · Se mer »
Rekursiv funktion
En rekursiv funktion är en matematisk funktion som definieras med hjälp av rekursion, det vill säga med hjälp av referenser till sig själv.
Ny!!: Turingmaskin och Rekursiv funktion · Se mer »
Turingkomplett
Turingkomplett är ett begrepp som lanserades av den brittiske matematikern Alan Turing (1912–1954).
Ny!!: Turingmaskin och Turingkomplett · Se mer »
Turingtestet
Den "vanliga tolkningen" av Turingtestet, där förhörsledaren har till uppgift att försöka avgöra vilken spelare är en dator och vilken är en människa. Turingtestet är ett test av artificiell intelligens (AI), utformat av Alan Turing 1950.
Ny!!: Turingmaskin och Turingtestet · Se mer »
Warren Sturgis McCulloch
Warren Sturgis McCulloch, född 16 november 1898 i Orange, New Jersey, USA, död 24 september 1969 i Cambridge, Massachusetts, var en amerikansk neurofysiolog och cybernetiker, känd för sitt arbete rörande grunden för vissa funktioner i hjärnan samt för sina bidrag inom cybernetiken.
Ny!!: Turingmaskin och Warren Sturgis McCulloch · Se mer »
Z3
Konrad Zuses datormodell Z3 var världens första fungerande, fritt programmerbara och helautomatiska dator, en komplett turingmaskin.
Ny!!: Turingmaskin och Z3 · Se mer »
