Kan man ifrågasätta att 1+1 blir 2?

Fysik, biologi, teknik, ETC.

Moderator: Moderatorgruppen

SigurdV
Inlägg: 2995
Blev medlem: 13 jun 2011 15:50

Re: Kan man ifrågasätta att 1+1 blir 2?

Inläggav SigurdV » 14 feb 2017 13:11

Nu lägger jag en droppe vatten i din utsträckta hand.
Så lägger jag ännu en droppe vatten på den första.
Hur många droppar vatten ser du nu i din hand?

Och i min trädgård finns två skräphögar.
Om jag lägger den ena på den andra
finns bara en skräphög kvar...

Det är lika sant som att ett plus ett blir två... eller hur?


SigurdV
Inlägg: 2995
Blev medlem: 13 jun 2011 15:50

Re: Kan man ifrågasätta att 1+1 blir 2?

Inläggav SigurdV » 17 feb 2017 11:56

Algotezza skrev:1 + 1 är 3 (symboler på rad)

Jo och du kan identifiera dem och se det sammanhang de bildar.

a) 1 = "" (finns på två ställen)
b) "+" är att sammanföra ställens innehåll
c) ""+"" = """"

Man bör hålla reda på de begreppsliga nivåerna.
Jag brukar främst skilja mellan det yttre och det inre...
Mellan tecken och tecken-innehåll,
... tanken och tankens innehåll.
... varat och skeendet.

Användarvisningsbild
Algotezza
Inlägg: 15020
Blev medlem: 21 jul 2006 21:36
Ort: Lund
Kontakt:

Re: Kan man ifrågasätta att 1+1 blir 2?

Inläggav Algotezza » 17 feb 2017 12:39

SigurdV skrev:
Algotezza skrev:1 + 1 är 3 (symboler på rad)

Jo och du kan identifiera dem och se det sammanhang de bildar.

a) 1 = "" (finns på två ställen)
b) "+" är att sammanföra ställens innehåll
c) ""+"" = """"

Man bör hålla reda på de begreppsliga nivåerna.
Jag brukar främst skilja mellan det yttre och det inre...
Mellan tecken och tecken-innehåll,
... tanken och tankens innehåll.
... varat och skeendet.


Mening/innehåll är betingad av kontexten och de som kommunicerar. Hur de använder symbolerna. Kanske bör man skilja mellan yttre symbolform (grafem och fonem) och den tankebild som uppstår i medvetandet när man avkodat och tolkat symbolerna. Skilja mellan yttre symbol och det som symbolen symboliserar. Men en yttre symbol kan bara symbolisera något genom att avkodas och tolkas via ett eller medvetanden. Dessa är länken mellan symbolerna och det symboliserade.

SigurdV
Inlägg: 2995
Blev medlem: 13 jun 2011 15:50

Re: Kan man ifrågasätta att 1+1 blir 2?

Inläggav SigurdV » 08 mar 2017 17:53

Visst är det bättre nu?

SigurdV
Inlägg: 2995
Blev medlem: 13 jun 2011 15:50

Re: Kan man ifrågasätta att 1+1 blir 2?

Inläggav SigurdV » 13 mar 2017 03:13

ThinkThat skrev:Finns stor problematik inom matematik när det gäller bevisföring.
Kurt Gödel visade att det i formellt logiskt system (axiomatik i matematik) finns utsagor som är sanna men kan inte bevisas i systemet.
Det här skakar på allvar allt vi vet och det deduktiva förfarandet. Är kunskap omöjlig att nå?

Gödel blev sen paranoid och slutade sina dagar hospitaliserad. Han trodde att han var yttersta frågan på spåret och misstänkte kollegor tjuvade från honom.


Men nu tar du väl ändå i för mycket?
Gödel ANVÄNDER ju deduktivt förfarande för att nå kunskap om deduktivt förfarande!

För övrigt är hans bevis inte fullständigt "vattentätt":
Hans översättning av begrepp till aritmetiken kan ha gjort aritmetiken inkonsistent.
Han säger faktiskt att: ANTINGEN är aritmetiken inkonsistent eller så innehåller den oavgörbara satser...

SigurdV
Inlägg: 2995
Blev medlem: 13 jun 2011 15:50

Re: Kan man ifrågasätta att 1+1 blir 2?

Inläggav SigurdV » 13 mar 2017 23:04

ThinkThat skrev:Var nog logiken som innehåller oavgörbara satser.

Både rätt och fel ... Rätt för att Gödels ofullständighetsteorem hör till logiken:
Eller till och med Semantiken :)
Wiki skrev:Gödels ofullständighetsteorem är två fundamentala teorem inom den moderna logiken. De handlar om avgörbarhet och bevisbarhet av utsagor i formella system och lades fram av Kurt Gödel 1931.
https://sv.wikipedia.org/wiki/G%C3%B6de ... hetssatser

Fel därför att den oavgörbara satsen faktiskt är en formel inom Aritmetiken:
Wiki skrev:Gödels första ofullständighetsteorem:
I varje konsistent formellt system, tillräckligt för aritmetiken, finns en sann men oavgörbar formel, det vill säga en formel, som inte kan bevisas och vars negation ej heller kan bevisas.
ThinkThat skrev:Återkommer när jag har samlat tankarna.

Välkommen tillbaka! Ämnet är intressant!


Återgå till "Naturvetenskap"

Vilka är online

Användare som besöker denna kategori: 1 och 0 gäst