Berekenbaarheid, hier aangeduid als Computable, is de eigenschap dat een probleem met een effectieve procedure kan worden opgelost. In de complexiteitstheorie geldt berekenbaarheid als een eigenschap van functies. Voor verzamelingen en eigenschappen bestaat de overeenkomstige notie van beslisbaarheid. In beide gevallen staat het bestaan van een algoritme centraal. Het begrip vormt een belangrijk onderwerp binnen de berekenbaarheidstheorie, die deel uitmaakt van de mathematische logica, en binnen de theoretische informatica. Veel bestudeerde modellen van berekenbaarheid zijn Turing-berekenbare functies, μ-recursieve functies en de lambda-calculus. Deze modellen hebben een rekenkracht die onderling equivalent is. Daarnaast worden ook andere vormen onderzocht. Automatatheorie bestudeert noties van berekenbaarheid die zwakker zijn dan Turingmachines, terwijl hypercomputatie zich richt op modellen die als sterker dan Turingmachines worden beschouwd.
Achtergrond via Wikipedia.
summarized the step as an acknowledgment of a hack
“Computable vatte de stap in de kop samen als erkenning van een hack”Ahold Delhaize bevestigt kwaadwillige acties en doet aangifte
reported the online store and customer service were still not working
“meldde dinsdagmiddag dat de online winkel en klantenservice nog niet werkten”Ahold Delhaize begint systemen gecontroleerd te herstarten
counts 7,942 systems at solar parks and 605 at wind parks, including 132 and 9 in the Netherlands, respectively
“Computable telt 7.942 systemen bij zonneparken en 605 bij windparken, waaronder 132 en 9 in Nederland”Modat en NCSC vinden 8.547 online bereikbare systemen
describes as an effort obligation without a hard agreement or guarantee of results
“Computable omschrijft het als een inspanningsverplichting zonder harde afspraak of garantie op resultaat.”Overheid en onderwijs spreken af meer open source te gebruiken
reports that the NADI budget runs from 10 million euros in 2027 to 75 million structurally from 2029 the NADI budget progression
“de NADI-envelop van 10 miljoen euro in 2027 via 25 miljoen in 2028 naar 75 miljoen structureel vanaf 2029 loopt”Nederland start NADI met drie pilots in AI, veiligheid en biotech
meldt dat de position paper is toegelaten als input voor het commissiedebat Digitale infrastructuur en economie
“Computable meldt dat de position paper wel als input is toegelaten”Nederlandse datacenters stuiten op net- en ruimtegrenzen
Onderwerpen die vaak samen met Computable voorkomen, ook zonder een vastgelegd verband. Open de gedeelde verhalen voor de context.
DCpedia
Nextcloud
Computable
SAP News
Enterprise Times
Mick Beer
BNR
Financial Times
GPTZero
NCSC
Rijksinspectie Digitale Infrastructuur
Rijksoverheid
Ondernemersplein
ACM
iBestuur
ECP / ministerie van Justitie en Veiligheid
Europese Commissie
NBIP
BusinessCloud
GoCardless Support
