Jump to content

Lukasz

New Members

  • Joined

  • Last visited

View Profile Find content
  1. Lukasz

    Is there a proposition known to be undecidable?

    Lukasz replied to Tristan L's topic in Mathematics
    As I know, such theorem independent on Peano's axioms, is Goodstein Theorem. On the other hand, there in the paper: T. J. Stępień, Ł. T. Stępień, "On the Consistency of the Arithmetic System", J. Math. Syst. Sci. 7, No.2, 43-55 (2017); arXiv:1803.11072 , a proof of consistency of Arithmetic System was published. This proof had been done within this Arithmetic System. Łukasz

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.

Configure browser push notifications
Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.