15 relaties: Alan Turing, Algoritme, Alonzo Church, Berekenbaarheid, Brownse beweging (wiskunde), Computergeheugen, Factorisatie, Formele methoden, Getal (wiskunde), Hypothese, Kwantumcomputer, Tijd, Turingmachine, Verhouding (wiskunde), Wiskundig bewijs.
Alan Turing
Alan Mathison Turing (Maida Vale (Londen), 23 juni 1912 – Wilmslow, 7 juni 1954) was een Britse wiskundige, computerpionier en informaticus, mathematisch bioloog en logicus.
Nieuw!!: Church-Turing-hypothese en Alan Turing · Bekijk meer »
Algoritme
Algoritme om een willekeurig veelvlak in driehoeken op te delen (in het algemeen heeft dit probleem meerdere oplossingen, de bereikte oplossing hangt dus af van het gebruikte algoritme) Een algoritme is een stappenplan bestaande uit een set regels in vaste volgorde om tot een oplossing te komen en het einddoel te bereiken.
Nieuw!!: Church-Turing-hypothese en Algoritme · Bekijk meer »
Alonzo Church
Alonzo Church (Washington D.C., 14 juni 1903 - Hudson (Ohio), 11 augustus 1995) was een Amerikaans wiskundige en logicus.
Nieuw!!: Church-Turing-hypothese en Alonzo Church · Bekijk meer »
Berekenbaarheid
In de complexiteitstheorie is berekenbaarheid een eigenschap van functies.
Nieuw!!: Church-Turing-hypothese en Berekenbaarheid · Bekijk meer »
Brownse beweging (wiskunde)
In de kansrekening is een brownse beweging of Wienerproces (genoemd naar Norbert Wiener) een welbepaald stochastisch proces dat de statistische eigenschappen van het gelijknamige natuurkundige verschijnsel idealiseert (zie Brownse beweging (natuurkunde)).
Nieuw!!: Church-Turing-hypothese en Brownse beweging (wiskunde) · Bekijk meer »
Computergeheugen
IC's Met computergeheugen worden onderdelen van een computer aangeduid waarin informatie opgeslagen kan worden voor later gebruik.
Nieuw!!: Church-Turing-hypothese en Computergeheugen · Bekijk meer »
Factorisatie
right In de wiskunde is de factorisatie of het ontbinden in factoren van een product het herschrijven van dat product in kleinere delen, die met elkaar vermenigvuldigd weer het oorspronkelijke product opleveren.
Nieuw!!: Church-Turing-hypothese en Factorisatie · Bekijk meer »
Formele methoden
Een formele methode is een op wiskunde en formele logica gebaseerde methode om software en hardwaresystemen te specificeren en te verifiëren.
Nieuw!!: Church-Turing-hypothese en Formele methoden · Bekijk meer »
Getal (wiskunde)
Een getal is de aanduiding van een hoeveelheid.
Nieuw!!: Church-Turing-hypothese en Getal (wiskunde) · Bekijk meer »
Hypothese
Een hypothese (van Oudgrieks: ὑπόθεσις (hypóthesis), veronderstelling) is in de empirische wetenschap een stelling die (nog) niet bewezen is, en die dient als uitgangspunt voor een experiment of voor een gerichte waarneming.
Nieuw!!: Church-Turing-hypothese en Hypothese · Bekijk meer »
Kwantumcomputer
Een kwantumcomputer (ook quantumcomputer) is een computer waarbij de processor gebruikmaakt van de principes van de kwantummechanica.
Nieuw!!: Church-Turing-hypothese en Kwantumcomputer · Bekijk meer »
Tijd
Een draagbaar uurwerk (zakhorloge). Een zonnewijzer Tijd is een natuurkundige grootheid.
Nieuw!!: Church-Turing-hypothese en Tijd · Bekijk meer »
Turingmachine
In de informatica is de turingmachine een model van berekening en berekenbaarheid, ontwikkeld door de wiskundige Alan M. Turing in zijn beroemde artikel On computable numbers, with an application to the Entscheidungsproblem uit 1936-37.
Nieuw!!: Church-Turing-hypothese en Turingmachine · Bekijk meer »
Verhouding (wiskunde)
De breedte-hoogteverhouding van een typisch beeldscherm In de wiskunde is de verhouding (ratio) tussen twee grootheden het quotiënt ervan.
Nieuw!!: Church-Turing-hypothese en Verhouding (wiskunde) · Bekijk meer »
Wiskundig bewijs
zijde is. Het is een bewijs door constructie Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde stelling waar is.
Nieuw!!: Church-Turing-hypothese en Wiskundig bewijs · Bekijk meer »