Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 
[englisch]


Inhaltliche Beanstandungen

Tabelle
Begriffe
Versus
Lager
Thesen I
Thesen II

Begriff/Autor  

Was ist falsch?
Seitenangabe
Übrige Metadaten
Übersetzung
Excerpt, Inhalt
Sonstiges

Richtig: Jahr / Ort / Seite
/ /

Richtigstellung
(max 500 Zeichen)

Einsender*
oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*
Captcha Code
 
Bitte Captcha Code hier eingeben

 
Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 


 
I 96
Def Starke Konsistenz/Feld: eine mathematische Theorie M ist stark konsistent, wenn sie bewirkt, dass die Konjunktion mit einer konsistenten nicht-mathematischen Theorie T noch konsistent ist. - T + M = konsistent.
Punchline: obwohl starke Konsistenz nicht aus der Wahrheit folgt, folgt sie aus der notwendigen Wahrheit. - Allerdings ist die starke Konsistenz schwächer als die notwendige Wahrheit, da stark konsistente Theorien nicht wahr sein müssen.
Rein mathematische Theorien (ohne mathematische Entitäten): Für sie beinhaltet Konsistenz starke Konsistenz.
>Mathematische Entitäten.
Nicht-rein: z.B. Mengenlehre mit Grundelementen.
Urelement: Element der untersten Ebene, z. B. reelle Zahlen.
I 240
Konsistenz/konsistent/Mathematik/FieldVs: Konsistenz ist als Bedingung für die Güte von Mathematik unhaltbar. Eine konsistente mathematische Theorie kann weitgehend inadäquat sein. Konsistent (widerspruchsfrei) soll hier heißen "semantisch konsistent", d.h. erfüllbar.
>Erfüllung, >Erfüllbarkeit.

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.