{"action":"created","issue":{"url":"https://api.github.com/repos/boazbk/tcs/issues/143","repository_url":"https://api.github.com/repos/boazbk/tcs","labels_url":"https://api.github.com/repos/boazbk/tcs/issues/143/labels{/name}","comments_url":"https://api.github.com/repos/boazbk/tcs/issues/143/comments","events_url":"https://api.github.com/repos/boazbk/tcs/issues/143/events","html_url":"https://github.com/boazbk/tcs/issues/143","id":332178540,"node_id":"MDU6SXNzdWUzMzIxNzg1NDA=","number":143,"title":"Gödel's Incompleteness Theorem: first version","user":{"login":"SOberhoff","id":8352575,"node_id":"MDQ6VXNlcjgzNTI1NzU=","avatar_url":"https://avatars0.githubusercontent.com/u/8352575?v=4","gravatar_id":"","url":"https://api.github.com/users/SOberhoff","html_url":"https://github.com/SOberhoff","followers_url":"https://api.github.com/users/SOberhoff/followers","following_url":"https://api.github.com/users/SOberhoff/following{/other_user}","gists_url":"https://api.github.com/users/SOberhoff/gists{/gist_id}","starred_url":"https://api.github.com/users/SOberhoff/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SOberhoff/subscriptions","organizations_url":"https://api.github.com/users/SOberhoff/orgs","repos_url":"https://api.github.com/users/SOberhoff/repos","events_url":"https://api.github.com/users/SOberhoff/events{/privacy}","received_events_url":"https://api.github.com/users/SOberhoff/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-06-13T21:54:14Z","updated_at":"2018-06-14T07:55:19Z","closed_at":null,"author_association":"NONE","body":"The theorem states that the system is either unsound or\r\n\r\n> V is not complete: There does not exist any π in {0,1}* such that V(X, π_X) = 1\r\n\r\nFirst of all there's a subscript missing on the π.\r\n\r\nBut more importantly, incompleteness also requires the absence of a π_Y in {0,1}* such that V(Y, π_Y) = 1. As an example, consider the statement \"there's only finitely many primes\". This statement better not have a proof in your formalization of number theory. But that doesn't make the theory incomplete.\r\n"},"comment":{"url":"https://api.github.com/repos/boazbk/tcs/issues/comments/397205630","html_url":"https://github.com/boazbk/tcs/issues/143#issuecomment-397205630","issue_url":"https://api.github.com/repos/boazbk/tcs/issues/143","id":397205630,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NzIwNTYzMA==","user":{"login":"peteschaefer","id":12708989,"node_id":"MDQ6VXNlcjEyNzA4OTg5","avatar_url":"https://avatars1.githubusercontent.com/u/12708989?v=4","gravatar_id":"","url":"https://api.github.com/users/peteschaefer","html_url":"https://github.com/peteschaefer","followers_url":"https://api.github.com/users/peteschaefer/followers","following_url":"https://api.github.com/users/peteschaefer/following{/other_user}","gists_url":"https://api.github.com/users/peteschaefer/gists{/gist_id}","starred_url":"https://api.github.com/users/peteschaefer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/peteschaefer/subscriptions","organizations_url":"https://api.github.com/users/peteschaefer/orgs","repos_url":"https://api.github.com/users/peteschaefer/repos","events_url":"https://api.github.com/users/peteschaefer/events{/privacy}","received_events_url":"https://api.github.com/users/peteschaefer/received_events","type":"User","site_admin":false},"created_at":"2018-06-14T07:55:19Z","updated_at":"2018-06-14T07:55:19Z","author_association":"NONE","body":"A typo in the section just before Theorem 10.1:  spelling should be  \"R**ie**mann\".\r\n\r\nAlso, to be exact, \"Weierstra**ß**\", but the transcription \"Weierstrass\" is arguably OK."}}
{"actor":{"display_login":"peteschaefer"}}