3 ms·

For me the easiest way to prove Gödel first's with perfect rigor, without bothering with numberings (but using computational undecidability) is here http://user

• noname120 7y ago
  You can access directly the relevant section[1] using the `#page=` directive. See here[2] for a full list of parameters you can use. [1] http://users.utu.fi/jkari/automata/fullnotes.pdf#page=134 http://users.utu.fi/jkari/automata/fullnotes.pdf#page=134 [2] https://www.adobe.com/content/dam/acom/en/devnet/acrobat/pdfs/pdf_open_parameters.pdf#page=5 https://www.adobe.com/content/dam/acom/en/devnet/acrobat/pdf...