> On 2 Jun 2019, at 20:40, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 6/2/2019 1:02 AM, Bruno Marchal wrote: >> To make this into a theory, you need to explain where that virtuous circle >> comes from. With mechanism, you have the mathematical tools to address the >> “circle” (recursive definition). Probably not its “virtuous” nature. >> >> To say that nothing is primitive will not work: you will need the axioms to >> get the things making the circle into a reality. > The attitude of a scholastic: I will make reality out of axioms.
All what I say comes from the antipode of that idea. All what I say comes from the fact the arithmetical reality is not obtainable from any (axiomatisable, effective) theory. The arithmetical reality is beyond all effective theory. You can formalise it entirely in second order logic, but then you loose the effectiveness and the notion of proof parts from chekability. Bruno > > Brent > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/06ed3e3b-d814-9268-41d2-80ebb2a23abb%40verizon.net. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/96E63E55-4D63-4A27-8775-1FC98878AE2E%40ulb.ac.be.
