Re: Replacement of Cardinality (real-valued)

Liste des GroupesRevenir à s logic 
Sujet : Re: Replacement of Cardinality (real-valued)
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : sci.logic sci.math
Date : 13. Aug 2024, 04:07:13
Autres entêtes
Message-ID : <GwSdnbf0nMlHUCf7nZ2dnZfqn_cAAAAA@giganews.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 08/08/2024 12:52 PM, Ross Finlayson wrote:
On 08/08/2024 12:00 PM, Jim Burns wrote:
On 8/7/2024 9:03 PM, Ross Finlayson wrote:
On 08/07/2024 01:06 PM, Jim Burns wrote:
>
A theory can describe more than one model.
>
Some claims have proofs.
Those claims are true in each model.
>
Some claims are true in each model.
Those claims have proofs.
(That is a very nice result, maybe not super.obvious.)
>
True.and.false in different models
does not make a theory contradictory.
The theory is silent, not wrong.
>
What theory?
>
| The completeness theorem applies to any first-order theory:
| If T is such a theory, and
| φ is a sentence (in the same language) and
| every model of T is a model of φ,
| then there is a (first-order) proof of φ
| using the statements of T as axioms.
| One sometimes says this as
| "anything true in all models is provable".
| (This does not contradict Gödel's incompleteness theorem,
| which is about a formula φᵤ that is unprovable
| in a certain theory T
| but true in the "standard" model of the natural numbers:
| φᵤ is false in some other, "non-standard" models of T.)
>
Model theory?
That's exactly what model theory not.is.
>
| The completeness theorem makes a close link between
| model theory,
| which deals with what is true in different models, and
| proof theory,
| which studies what can be formally proven
| in particular formal systems.
>
https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem
Gödel's completeness theorem
>
>
>
Well, yeah, proof-theory and model-theory are equi-interpretable,
then a usual idea that foundations includes the entire space of
the integer continuum and the linear continuum, or the ubiquitous
ordinals and the hyper-dimensional holo-gram, makes that model
theory is the usual milieu with the algebraizations, arithmetizations,
and geometrizations.
>
Goedel's pretty simple arithmetization of an algebraization
and for Goedel's "stop hitting yourself" completion theorem,
doesn't say much.
>
That includes that it doesn't say much about the extra-ordinary.
>
Here it's better to call the extra-ordinary the extra-ordinary
instead of the non-standard, when, for example, it works out
that the "standard" model of the integers: _isn't_.
>
"Is it the universe of numbers or the universe of words? Yeah, it is."
>
>

Date Sujet#  Auteur
26 Jul 24 * Replacement of Cardinality712WM
26 Jul 24 +* Re: Replacement of Cardinality2joes
27 Jul 24 i`- Re: Replacement of Cardinality1WM
27 Jul 24 +* Re: Replacement of Cardinality67Richard Damon
27 Jul 24 i`* Re: Replacement of Cardinality66WM
27 Jul 24 i `* Re: Replacement of Cardinality65Richard Damon
27 Jul 24 i  +- Re: Replacement of Cardinality1WM
27 Jul 24 i  `* Re: Replacement of Cardinality63WM
27 Jul 24 i   +* Re: Replacement of Cardinality2joes
28 Jul 24 i   i`- Re: Replacement of Cardinality1WM
27 Jul 24 i   `* Re: Replacement of Cardinality60Richard Damon
28 Jul 24 i    `* Re: Replacement of Cardinality59WM
28 Jul 24 i     `* Re: Replacement of Cardinality58Richard Damon
29 Jul 24 i      `* Re: Replacement of Cardinality57WM
29 Jul 24 i       +- Re: Replacement of Cardinality1Python
30 Jul 24 i       `* Re: Replacement of Cardinality55Richard Damon
30 Jul 24 i        `* Re: Replacement of Cardinality54WM
31 Jul 24 i         `* Re: Replacement of Cardinality53Richard Damon
31 Jul 24 i          `* Re: Replacement of Cardinality52WM
31 Jul 24 i           +* Re: Replacement of Cardinality11joes
1 Aug 24 i           i`* Re: Replacement of Cardinality10WM
1 Aug 24 i           i +* Re: Replacement of Cardinality5Jim Burns
1 Aug 24 i           i i+- Re: Replacement of Cardinality1Moebius
2 Aug 24 i           i i`* Re: Replacement of Cardinality3WM
2 Aug 24 i           i i `* Re: Replacement of Cardinality2Jim Burns
2 Aug 24 i           i i  `- Re: Replacement of Cardinality1Moebius
2 Aug 24 i           i `* Re: Replacement of Cardinality4Richard Damon
2 Aug 24 i           i  `* Re: Replacement of Cardinality3WM
2 Aug 24 i           i   `* Re: Replacement of Cardinality2Richard Damon
2 Aug 24 i           i    `- Re: Replacement of Cardinality1WM
1 Aug 24 i           `* Re: Replacement of Cardinality40Richard Damon
1 Aug 24 i            `* Re: Replacement of Cardinality39WM
1 Aug 24 i             +* Re: Replacement of Cardinality29joes
2 Aug 24 i             i+* Re: Replacement of Cardinality27WM
2 Aug 24 i             ii`* Re: Replacement of Cardinality26Richard Damon
2 Aug 24 i             ii `* Re: Replacement of Cardinality25WM
2 Aug 24 i             ii  `* Re: Replacement of Cardinality24Richard Damon
2 Aug 24 i             ii   `* Re: Replacement of Cardinality23WM
2 Aug 24 i             ii    `* Re: Replacement of Cardinality22Richard Damon
3 Aug 24 i             ii     `* Re: Replacement of Cardinality21WM
3 Aug 24 i             ii      `* Re: Replacement of Cardinality20Richard Damon
4 Aug 24 i             ii       `* Re: Replacement of Cardinality19WM
4 Aug 24 i             ii        +* Re: Replacement of Cardinality5Richard Damon
5 Aug 24 i             ii        i`* Re: Replacement of Cardinality4WM
6 Aug 24 i             ii        i `* Re: Replacement of Cardinality3Richard Damon
6 Aug 24 i             ii        i  `* Re: Replacement of Cardinality2WM
7 Aug 24 i             ii        i   `- Re: Replacement of Cardinality1Richard Damon
4 Aug 24 i             ii        `* Re: Replacement of Cardinality13Richard Damon
6 Aug 24 i             ii         `* Re: Replacement of Cardinality12Chris M. Thomasson
6 Aug 24 i             ii          `* Re: Replacement of Cardinality11Moebius
6 Aug 24 i             ii           +* Re: Replacement of Cardinality2Jim Burns
6 Aug 24 i             ii           i`- Re: Replacement of Cardinality1Moebius
6 Aug 24 i             ii           `* Re: Replacement of Cardinality8Chris M. Thomasson
6 Aug 24 i             ii            +- Re: Replacement of Cardinality1FromTheRafters
6 Aug 24 i             ii            `* Re: Replacement of Cardinality6Moebius
6 Aug 24 i             ii             +- Re: Replacement of Cardinality1Moebius
7 Aug 24 i             ii             `* Re: Replacement of Cardinality4Chris M. Thomasson
7 Aug 24 i             ii              `* Re: Replacement of Cardinality3Moebius
7 Aug 24 i             ii               +- Re: Replacement of Cardinality1Moebius
16 Aug 24 i             ii               `- Re: Replacement of Cardinality1Chris M. Thomasson
2 Aug 24 i             i`- Re: Replacement of Cardinality1WM
2 Aug 24 i             `* Re: Replacement of Cardinality9Richard Damon
2 Aug 24 i              `* Re: Replacement of Cardinality8WM
2 Aug 24 i               +* Re: Replacement of Cardinality2joes
2 Aug 24 i               i`- Re: Replacement of Cardinality1WM
2 Aug 24 i               `* Re: Replacement of Cardinality5Richard Damon
2 Aug 24 i                `* Re: Replacement of Cardinality4WM
2 Aug 24 i                 `* Re: Replacement of Cardinality3Richard Damon
3 Aug 24 i                  `* Re: Replacement of Cardinality2WM
3 Aug 24 i                   `- Re: Replacement of Cardinality1Richard Damon
27 Jul 24 +* Re: Replacement of Cardinality20Mikko
27 Jul 24 i`* Re: Replacement of Cardinality19WM
29 Jul 24 i `* Re: Replacement of Cardinality18Mikko
29 Jul 24 i  `* Re: Replacement of Cardinality17WM
30 Jul 24 i   +* Re: Replacement of Cardinality3Richard Damon
30 Jul 24 i   i`* Re: Replacement of Cardinality2WM
31 Jul 24 i   i `- Re: Replacement of Cardinality1Richard Damon
30 Jul 24 i   `* Re: Replacement of Cardinality13Mikko
30 Jul 24 i    `* Re: Replacement of Cardinality12WM
31 Jul 24 i     `* Re: Replacement of Cardinality11Mikko
31 Jul 24 i      `* Re: Replacement of Cardinality10WM
2 Aug 24 i       `* Re: Replacement of Cardinality9Mikko
2 Aug 24 i        `* Re: Replacement of Cardinality8WM
2 Aug 24 i         +* Re: Replacement of Cardinality5Richard Damon
2 Aug 24 i         i`* Re: Replacement of Cardinality4WM
2 Aug 24 i         i `* Re: Replacement of Cardinality3Richard Damon
3 Aug 24 i         i  `* Re: Replacement of Cardinality2WM
3 Aug 24 i         i   `- Re: Replacement of Cardinality1Richard Damon
3 Aug 24 i         `* Re: Replacement of Cardinality2Mikko
3 Aug 24 i          `- Re: Replacement of Cardinality1WM
27 Jul 24 `* Re: Replacement of Cardinality622Jim Burns
28 Jul 24  +* Re: Replacement of Cardinality612WM
28 Jul 24  i`* Re: Replacement of Cardinality611Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality47Ross Finlayson
29 Jul 24  i i`* Re: Replacement of Cardinality46Ross Finlayson
29 Jul 24  i i `* Re: Replacement of Cardinality45Ross Finlayson
29 Jul 24  i i  `* Re: Replacement of Cardinality44Jim Burns
29 Jul 24  i i   `* Re: Replacement of Cardinality43Ross Finlayson
29 Jul 24  i i    +* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)14Ross Finlayson
1 Jan 25  i i    i`* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)13Ross Finlayson
1 Jan 25  i i    i `* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)12Jim Burns
29 Jul 24  i i    `* Re: Replacement of Cardinality28Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality562WM
29 Jul 24  i `- Re: Replacement of Cardinality1Moebius
29 Jul 24  `* Re: Replacement of Cardinality9Moebius

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal