Will you please provide some actual examples, so that we have some things to actually 'look at' and 'discuss'?
To me, so-called 'inexplicable truths' sound just like an oxymoron.
What, exactly, do you think or believe is, supposedly, 'inexplicable' in some so-called 'arithmetic theory'?godelian wrote: ↑Wed Feb 28, 2024 8:17 pmIt took until 1931 for Kurt Godel to discover the existence of inexplicable truths in true arithmetic. It is obviously not possible to derive an inexplicable truth from the theory. It is only possible to derive from the theory that they exist.https://en.m.wikipedia.org/wiki/True_arithmetic
In mathematical logic, true arithmetic is the set of all true first-order statements about the arithmetic of natural numbers.
We do have a few examples, such as Goldstein's theorem, which is inexplicable in arithmetic theory.
What is the 'it' word here even referring to, exactly?
Using words in such a way that they come across as 'inexplicable' to explain, is nothing new or uncommon even, well in the days when this is being written. But, that kind of usage of words is not actually saying nor proving any actual thing, actually.godelian wrote: ↑Wed Feb 28, 2024 8:17 pmhttps://en.m.wikipedia.org/wiki/Goodstein%27s_theorem
In mathematical logic, Goodstein's theorem is a statement about the natural numbers, proved by Reuben Goodstein in 1944 ... This was the third example of a true statement about natural numbers that is unprovable in Peano arithmetic, after the examples provided by Gödel's incompleteness theorem and Gerhard Gentzen's 1943 direct proof of the unprovability of ε0-induction in Peano arithmetic.
Again, well to me anyway, saying that, 'A truth is inexplicable', is just an oxymoron, and/or just 'moronic nonsense'.
If some thing is 'inexplicable' then how would absolutely any one know that 'that thing' is 'a truth'?
Do you mean 'special case', as in like a 'mental case'?
1. Provide an example of a so-called 'truth, that is, supposedly, inexplicable'.
2. After you have done this, then show how by, supposedly, introducing 'infinity', it is then a so-called 'exceptional special case' and a so-called supposed 'exceptional special case' regards to 'what', exactly?
3. Also, explain in what definition/usage of the 'axiom' word you are actually referring to and using here.
4. Then will you please explain how you are defining the 'miracle' word here, and how 'numbers', themselves, relate to your own definition of the 'miracle' word here?
To me anyway, what you say here is absolutely nothing and just a form of 'circular reasoning'.
The word 'axiom', in just two of the multitude of definitions can be, an unprovable rule or first principle accepted as true because it is self-evident or particularly useful. Which, in itself, means or says nothing at all really, again, well to me anyway.
So, if the so-called 'standard case', is that no additional, 'unprovable rule or first principle accepted as true, because it is self-evident, or because it is particularly useful', could ever explain such a so-called and self-proclaimed 'inexplicable truth', then what is 'it' that you are really trying to say and get at it here, exactly?
Again, and if you did not above, just provide what you consider to be a so-called 'inexplicable truth' to you, here now. Because for all we know what is a so-called 'inexplicable truth', to you, has already been explained, and well understood, to us already.
The words, 'inexplicable truths', in so-called 'true arithmetic', sounds like some so-called "mathematician" just could not 'work out', 'figure out', nor resolve some mathematical problem or equation.
But I still wonder why they consider 'it', [whatever it is], to be 'a truth', in the first place?
you speak as though this human being is some sort of God, Allah, or Spiritual Enlightener.
you adult human beings conclude a lot of things that are False, Wrong, Inaccurate, and Incorrect. One only has to 'look into' a forum like this one here to 'see' this, very clearly.
So, some human being concluded that 'they', [so-called 'inexplicable truths'], exist in the 'physical universe', just because so-called 'inexplicable truths', supposedly, exist in some so-called 'true arithmetic'.
If you want any human being to accept 'this' here I suggest:
1. you explain what so-called 'true arithmetic' even is, exactly? And, explain how 'that' is different from 'false arithmetic'.
2. Start providing examples of so-called 'inexplicable truths'. So, we can 'look at' and 'see' if they are actually 'inexplicable' forever more, or if they are just 'inexplicable' to you, in your very tiny time of existing.
3. Start explaining how you 'know' some thing is 'true' before you can even explain 'that thing'.
4. If you are, more or less, just trying to argue that there are some things, which appear true, like, for example, that a Universe exists, or that there is some thing, existing, which is 'conscious', but which the 'why' of has not, yet, been explained to a particular group of human beings at some particular moment in Existence, Itself, then I will just say, 'Obviously'.
5. If anyone wants to consider what they have not yet become privy to, as 'a miracle', then so be it. But all so-called 'miracles', or for absolutely all things that actually happen/ed, and occur/ed, then they can all be 'explained'. And, far more easily and simply than is and was being imagined by you adult human beings, in the 'olden days', when this is/was being written.
And to prove this true, then just start listing things which, appear and seem, inexplicable to you.
Once again, another example of how and way 'hypothesizing' was, and still is, just a waste.
The actual irrefutable Truth of things is much easier, simpler, and quicker to find, uncover, know, and understand, than it is to theorize and/or hypothesize 'about' things, and then spend hours, weeks, months, years, decades, centuries, or millennia over those 'just guesses'.
Well that human being was just another with a Truly narrowed, shallow, and/or small perspective or field of view of things.
What that human being was more or less doing was concluding things on Assumptions it was making on Past Experiences, or what I like to call APE-thinking. In other words, 'I cannot, 'currently now', imagine 'a theory of the physical universe' could exist'. Therefore, I will try to argue, 'There cannot be a theory of the physical universe'.
Which is Truly humorous to 'look at' and 'see' here 'now', especially considering that the actual GUTOE already exists.
Why would anyone really want to waste 'debating things' anyway?
Unless, of course, they think that they could 'win' some thing.