Le 30-août-06, à 16:37, uv a écrit :
> [Bruno's defintiion of Arithmetic Realism I understand to be > " Arithmetical Realism. > All proposition pertaining on natural numbers > with the form Qx Qy Qz Qt Qr ... Qu P(x,y,z,t,r, ...,u) are true > independently > of me. Q represents a universal or existential quantifier, and P > represents a > decidable (recursive) predicate. That is, proposition like the > Fermat-Wiles > theorem, or Goldbach conjecture, or Euclide's infinity of primes > theorem are > either true or false, and this independently of the proposition "Bruno > Marchal > exists". It amounts to accept, for the sake of my argument, that > classical logic is correct in the realm of positive integers. Nothing > more."] Indeed. Good summary, thanks. Third person necessity and contingency will then be defined by the (Sigma1) provability predicate of Godel-Lob, and the n-version persons by intensional (modal) variants of it. Note that Fermat-Wiles, Riemann, Godlbach, Euclide's are all Sigma1. Arithmetical realism bears also on the independence of the truth of Pi1, Sigma2, Pi2, ...SigmaN, PiN ..., sentences, but I have no problem with the lobian machine which have also "realist" analytical beliefs (where we can quantify on sets). Nice example of non P1 or Sigma1 conjectures is given by the famous Syracuse question: http://www.cecm.sfu.ca/organics/papers/lagarias/ Bruno http://iridia.ulb.ac.be/~marchal/ --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/everything-list -~----------~----~----~----~------~----~------~--~---
