{"action":"created","issue":{"url":"https://api.github.com/repos/szymtor/locfin/issues/42","labels_url":"https://api.github.com/repos/szymtor/locfin/issues/42/labels{/name}","comments_url":"https://api.github.com/repos/szymtor/locfin/issues/42/comments","events_url":"https://api.github.com/repos/szymtor/locfin/issues/42/events","html_url":"https://github.com/szymtor/locfin/issues/42","id":54709313,"number":42,"title":"Moje uwagi","user":{"login":"eryxcc","id":10352192,"avatar_url":"https://avatars.githubusercontent.com/u/10352192?v=3","gravatar_id":"","url":"https://api.github.com/users/eryxcc","html_url":"https://github.com/eryxcc","followers_url":"https://api.github.com/users/eryxcc/followers","following_url":"https://api.github.com/users/eryxcc/following{/other_user}","gists_url":"https://api.github.com/users/eryxcc/gists{/gist_id}","starred_url":"https://api.github.com/users/eryxcc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eryxcc/subscriptions","organizations_url":"https://api.github.com/users/eryxcc/orgs","repos_url":"https://api.github.com/users/eryxcc/repos","events_url":"https://api.github.com/users/eryxcc/events{/privacy}","received_events_url":"https://api.github.com/users/eryxcc/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2015-01-18T20:41:27Z","updated_at":"2015-01-18T21:48:53Z","closed_at":null,"body":"Moje uwagi:\r\n\r\n- komentarze po sformułowaniu Twierdzenia 1: trzeba napisać, że \"our technical tool\" dotyczy rozstrzygalności/upper boundu, podobnie Tw Ramseya dowodzi rozstrzygalności/upper boundu\r\n\r\n- \", sometimes arise naturally\" - chyba bez przecinka\r\n\r\n- Lemat 5 o reprezentantach (a także Lematy 3 i 4) nie podają złożoności, a jest ona\r\n  konieczna, by udowodnić Proposition 11 (o redukcji PSPACE).\r\n\r\n- w sformułowaniu Tw 1 i 11 ja bym dopisał \"poly\" do redukcji z założenia, bo tak jest ciekawiej\r\n"},"comment":{"url":"https://api.github.com/repos/szymtor/locfin/issues/comments/70427815","html_url":"https://github.com/szymtor/locfin/issues/42#issuecomment-70427815","issue_url":"https://api.github.com/repos/szymtor/locfin/issues/42","id":70427815,"user":{"login":"bklin","id":10338429,"avatar_url":"https://avatars.githubusercontent.com/u/10338429?v=3","gravatar_id":"","url":"https://api.github.com/users/bklin","html_url":"https://github.com/bklin","followers_url":"https://api.github.com/users/bklin/followers","following_url":"https://api.github.com/users/bklin/following{/other_user}","gists_url":"https://api.github.com/users/bklin/gists{/gist_id}","starred_url":"https://api.github.com/users/bklin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bklin/subscriptions","organizations_url":"https://api.github.com/users/bklin/orgs","repos_url":"https://api.github.com/users/bklin/repos","events_url":"https://api.github.com/users/bklin/events{/privacy}","received_events_url":"https://api.github.com/users/bklin/received_events","type":"User","site_admin":false},"created_at":"2015-01-18T21:48:53Z","updated_at":"2015-01-18T21:48:53Z","body":"\r\nE tam, co my książkę piszemy? Normalnie niech leci jednym ciągiem.\r\n\r\nOn 18 Jan 2015, at 22:47, Szymon Toruńczyk wrote:\r\n\r\n> Tak, możesz naprawić? Może w każdej sekcji odnowa numeracja? \r\n> On Sun 18 Jan 2015 at 22:32 eryxcc <notifications@github.com> wrote: \r\n> \r\n> > Część rzeczy jest numerowane tak jak dowody, a część nie. Teraz mamy: Ex \r\n> > 1, Ex 2, Thm 1, Thm 2, Ex 3, Ex 4, Ex 5, Ex 6, Thm 3, Prop 4, Lemma 5, Ex \r\n> > 7, ... Jest w tym jakaś głębsza myśl? Chyba wszystko powinno być numerowane \r\n> > razem, bo tak trudno coś znaleźć. \r\n> > \r\n> > — \r\n> > Reply to this email directly or view it on GitHub \r\n> > <https://github.com/szymtor/locfin/issues/42#issuecomment-70427070>. \r\n> >\r\n> —\r\n> Reply to this email directly or view it on GitHub.\r\n> "}}