{"id":23209379,"url":"https://github.com/metalim/ackermann","last_synced_at":"2025-10-26T00:31:35.095Z","repository":{"id":172715371,"uuid":"649665702","full_name":"metalim/ackermann","owner":"metalim","description":"Ackermann function","archived":false,"fork":false,"pushed_at":"2023-06-05T12:07:31.000Z","size":7,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-02-10T22:52:27.411Z","etag":null,"topics":["ackermann","ackermann-function","go","golang"],"latest_commit_sha":null,"homepage":"","language":"Go","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/metalim.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-06-05T11:23:52.000Z","updated_at":"2023-06-05T11:24:47.000Z","dependencies_parsed_at":null,"dependency_job_id":"44a9792d-f8cc-4b24-a4c9-1854fb9715c6","html_url":"https://github.com/metalim/ackermann","commit_stats":null,"previous_names":["metalim/ackermann"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/metalim%2Fackermann","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/metalim%2Fackermann/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/metalim%2Fackermann/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/metalim%2Fackermann/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/metalim","download_url":"https://codeload.github.com/metalim/ackermann/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247332609,"owners_count":20921853,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ackermann","ackermann-function","go","golang"],"created_at":"2024-12-18T18:16:50.367Z","updated_at":"2025-10-26T00:31:35.022Z","avatar_url":"https://github.com/metalim.png","language":"Go","readme":"# Ackermann function\n\nAckermann function A(m,n) is defined as follows:\n\n* A(0,n) = n + 1\n* A(m,0) = A(m-1, 1)\n* A(m,n) = A(m-1, A(m, n-1))\n\nBy definition the function is computable and finite, but the only results computable in this universe are:\n* A(0,n) ... A(3,n)\n* A(4,0), A(4,1)\n* A(5,0)\n\nThat's it. The rest is still computable, but will take more time, than universe exists. For instance result of A(4,2) takes 65536 bits (binary digits), and the only math operation in Ackermann function is n+1. So the best case estimate you can imagine is a counter with 65536 bits, coutning +1 per operation, until all but one bit are 1: 0b111111111...11111101 with 65536 digits\n\nAs for the rest of results — A(4,3+), A(5,1+), A(6+,n) — they cannot even fit in this universe in their numerical form. For instance value of A(4,3) takes 2\u003csup\u003e65536\u003c/sup\u003e bits, which is significantly more than number of atoms in the observable universe (2\u003csup\u003e260\u003c/sup\u003e). And A(5,1) equals to A(4,65533)\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmetalim%2Fackermann","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmetalim%2Fackermann","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmetalim%2Fackermann/lists"}