LOGIC THREAD. “(i) If there is AI, AI will be produced by an extendible method; (ii) If AI is produced by an extendible method, we will have the capacity to extend the method (soon after); iii) Extending the method that produces an AI will yield an AI+; (iv) Absent defeaters, if there is AI, there will (soon after) be AI+.”
https://lnkd.in/e335knp