Berekenbare

Als bijvoorbeeld het algoritmische standpunt wordt ingenomen, dan zijn de reële getallen, zoals hier geconstrueerd, in essentie wat men in de klassieke wiskunde berekenbare getallen noemt.

Er bestaat geen berekenbare functie die sneller stijgt dan de busybeaverfunctie.

Tenminste, als de turingmachines werkelijk alle berekenbare problemen kunnen beschrijven.

Dus zo gesloopt vind ik een beetje zacht uitgedrukt, zeker als er een moeilijk berekenbare hash en salt is gebruikt.

Niet voor niets dat het bijna allemaal kille en berekenbare christen moordenaars worden als ze de kans krijgen.

Goethe verzette zich tegen de theorie dat de zinnelijke wereld schatplichtig zou zijn aan berekenbare wetten.

De jongste studie stelt dat er in feite geen sprake is van een berekenbare transfer in de rente op de openbare schuld, omdat je moet weten wat je wil meten: de Vlaamse geldstroom op jaarbasis of een gecumuleerd perspectief, berekend voor één moment.

Het programma kan weken rekenen voordat het grootst mogelijk berekenbare priemgetal bereikt wordt.

Ook worden twee deelverzamelingen van berekenbare functies uitgesloten.

Church bewees dat er geen berekenbare functie bestaat die kan beslissen voor twee gegeven λ-calculus-expressies of ze gelijkwaardig zijn of niet.

Constructies kunnen zo breed als vrije keuze sequenties worden gedefinieerd (het intuïtionistische standpunt), of zo smal als algoritmen (of meer technisch, berekenbare functies), of kunnen zij zelfs niet meer worden gespecificeerd.

De lambdacalculus, soms ook als λ-calculus geschreven, is een formeel systeem dat in de wiskunde en theoretische informatica wordt gebruikt om het definiëren en uitvoeren van berekenbare functies te onderzoeken.

Groeisnelheid Er bestaat geen berekenbare functie die sneller stijgt dan de busy beaver-functie.