Wordt logica aanvaard door wiskundigen en wetenschappers?

Hier kan gedebateerd worden over de nieuwste ontwikkelingen in de wetenschap.

Moderator: Moderators

TTC
Forum fan
Berichten: 359
Lid geworden op: 28 jan 2017 14:09

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TTC » 23 jun 2017 12:22

axxyanus schreef:
TTC schreef:
LonelyThinker schreef:Met de betrekking tot de OP, ik denk dat de wetenschap tegenspraken probeert uit te sluiten, dus: NIET(NIET(X)=X), met X de evaluatie van de waarheidswaarde van een theorema (wel/niet, 0/1 etc). Ook: NIET(NIET(X))=X. Tegenspraken zijn dodelijk voor de wetenschap.
De TS start met onderstaande vergelijking waarover een aantal stelt dat het pure nonsens is.

0-appels = { }

Om dit transparant te maken wordt een metafoor 'de fruitschaal' gebruikt, waarbij de schaal naar niets of absolute leegte verwijst (rechts). Links of O-appels verwijst naar niet-iets, geen krachten, geen objecten of wat dan ook. Deze vergelijking kan derhalve als correct gezien worden maar ze is uiteindelijk pre-en/of transrationeel.
Een probleem is dat de 'fruitschaal', 2 peren en een perzik kan bevatten. Dat zijn ook 0-appels. Mag ik nu schrijven: 0-appels = {peer1, peer2, perzik1}
O-appels past binnen dezelfde metafoor, zijnde O-iets. Ook niet iets anders.

Gebruikersavatar
Delight
Ervaren pen
Berichten: 642
Lid geworden op: 21 apr 2014 11:25

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door Delight » 23 jun 2017 12:45

axxyanus schreef:Een probleem is dat de 'fruitschaal', 2 peren en een perzik kan bevatten. Dat zijn ook 0-appels. Mag ik nu schrijven: 0-appels = {peer1, peer2, perzik1}
Ik denk dat dat opgelost wordt doordat 0-appels een verzameling van appels is, per definitie, en peren en perziken daar dus (per definitie) niet in voorkomen. Voor zover ik meen te weten is wiskunde wat dat betreft tamelijk waterdicht.

Het is te vergelijken met type-declaraties in programmeertalen, zoals:
var a:integer;

Of:
var zeroapples: set of apples.

TTC
Forum fan
Berichten: 359
Lid geworden op: 28 jan 2017 14:09

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TTC » 23 jun 2017 12:53

LonelyThinker schreef:Ik denk dat dat opgelost wordt doordat 0-appels een verzameling van appels is, per definitie, en peren en perziken daar dus (per definitie) niet in voorkomen. Voor zover ik meen te weten is wiskunde wat dat betreft tamelijk waterdicht.
In dit topic gaat het verder, er is O-iets, helemaal niets. Kwestie van perceptie, het bijzondere is dat de menselijke geest er blijkbaar altijd iets van wil maken, zelfs nonsens. :)

Gebruikersavatar
Delight
Ervaren pen
Berichten: 642
Lid geworden op: 21 apr 2014 11:25

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door Delight » 23 jun 2017 12:58

TTC schreef:In dit topic gaat het verder, er is O-iets, helemaal niets. Kwestie van perceptie, het bijzondere is dat de menselijke geest er blijkbaar altijd iets van wil maken, zelfs nonsens. :)
Ja, je kunt geen appels hebben of geen peren, of geen appels en geen peren haha :D Dat is wat anders dan helemaal niets. Maar als ik aan helemaal niets denk, denk ik aan niets, zelfs geen God. En dat lijkt me geen wiskundige vraag lol. Maar leuk om over te filosoferen is het wel. :)

Wat de nul-vector betreft, dat is inderdaad een vector. Maar de nul-vector is denk ik niet: nul vectoren. Het is alsof je wilt beweren dat nul geen getal is. :-k
Laatst gewijzigd door Delight op 23 jun 2017 13:03, 1 keer totaal gewijzigd.

TTC
Forum fan
Berichten: 359
Lid geworden op: 28 jan 2017 14:09

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TTC » 23 jun 2017 13:01

LonelyThinker schreef:Ja, je kunt geen appels hebben of geen peren, of geen appels en geen peren haha :D Dat is wat anders dan helemaal niets. Maar als ik aan helemaal niets denk, denk ik aan niets, zelfs geen God. En dat lijkt me geen wiskundige vraag lol. Maar leuk om over te filosoferen is het wel. :)
Zoiets, bijzonder is hierbij dat de wiskundige zichzelf ook buitenspel dient te plaatsen, het is op zich misschien geen prettige gedachte maar de logica blijft wel kloppen. :)

TTC
Forum fan
Berichten: 359
Lid geworden op: 28 jan 2017 14:09

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TTC » 23 jun 2017 13:08

LonelyThinker schreef:Wat de nul-vector betreft, dat is inderdaad een vector. Maar de nul-vector is denk ik niet: nul vectoren. Het is alsof je wilt beweren dat nul geen getal is. :-k
Leuke insteek, misschien dat het straks nog duidelijk gaat worden. :)

Gebruikersavatar
axxyanus
Moderator
Berichten: 8181
Lid geworden op: 08 nov 2008 21:23

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door axxyanus » 23 jun 2017 13:57

In de wiskunde zijn de twee volgende vragen verschillend:

1) Wat is de verzameling appels die we hebben.

2) Wat is het aantal appels dat we hebben.

Als we geen appels hebben, dan is het antwoord op die vragen {}, respectievelijk 0. Dat betekent niet {} en 0 aan elkaar gelijk zijn.

We kunnen natuurlijk ook een verzameling, of eerder een tupel of rij van appels hebben, bv als iemand appels op verschillende plaatsen, bewaard en we dat willen voorstellen. Dan hebben we bv (3, 10) waarmee we bv willen zeggen dat er 3 appels in de fruitmand liggen en 10 in de kelder. Waarbij we dan in totaal 13 appels hebben. In een dergelijk geval zullen we dan 0 appels in totaal als (0, 0) voorstellen.

Ook hier uit kunnen we niet afleiden 0 = (0, 0) zou zijn.

Dit soort van verschillende voorstellingen voor de zelfde werkelijke situatie is niets bijzonders. De voorstelling die we kiezen is gewoon afhankelijk van de vraag die we willen oplossen en de details die daar voor nodig zijn.
Al mijn hier gebrachte meningen, zijn voor herziening vatbaar.
De illusie het verleden te begrijpen, voedt de illusie dat de toekomst voorspelbaar en beheersbaar is -- naar Daniël Kahneman

TTC
Forum fan
Berichten: 359
Lid geworden op: 28 jan 2017 14:09

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TTC » 23 jun 2017 14:09

axxyanus schreef:Dit soort van verschillende voorstellingen voor de zelfde werkelijke situatie is niets bijzonders. De voorstelling die we kiezen is gewoon afhankelijk van de vraag die we willen oplossen en de details die daar voor nodig zijn.
Volledig met je eens, het is als weten dat geld uit het niets komt en de bevolking alsmaar besparingen opleggen. De eenvoudige en logische conclusie is dat beperkte rationaliteit ook kan leiden tot perverse effecten zoals ze zich manifesteren in het leven van alledag. Het bijzondere van dit topic komt hiermee aan de oppervlakte, we kunnen namelijk ook met niets iets oplossen. Het is niet meer dan logica.

Gebruikersavatar
Dat beloof ik
Bevlogen
Berichten: 3285
Lid geworden op: 07 jun 2013 13:21
Locatie: Brabanste Wal

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door Dat beloof ik » 23 jun 2017 14:30

axxyanus schreef:In de wiskunde zijn de twee volgende vragen verschillend:

1) Wat is de verzameling appels die we hebben.

2) Wat is het aantal appels dat we hebben.
De eerste is onduidelijk. Ik neem aan dat je bedoelt te vragen "hoe groot is de verzameling appels?"
"Wat is de verzameling appels" kan ook worden opgevat als een naam voor die verzameling.
Je krijgt dan spraakverwarring en dat is in dit topic nu wel vaak genoeg gebeurd.
Als we geen appels hebben, dan is het antwoord op die vragen {}, respectievelijk 0. Dat betekent niet {} en 0 aan elkaar gelijk zijn.
Volgens mij wel. Kun je een voorbeeld geven van een situatie waarbij ze niet aan elkaar gelijk zijn ?
“Mr. Spock, do you have a theory?”
“No captain. For a theory, one requires facts. Since we do not have any, it would be illogical to have a theory.”
(Star Trek, seizoen 1)

Gebruikersavatar
Peter van Velzen
Moderator
Berichten: 16534
Lid geworden op: 02 mei 2010 10:51
Locatie: ampre muang trang thailand

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door Peter van Velzen » 23 jun 2017 14:40

Toevallig bekeek ik vandaag een video over "lineair algebra", en kwam daarbij het begrip "bi-vector" tegen. Een "bi-vector" is het product van twee vectoren en is op te vatten als een oppervlak met een teken. Als een van de getallen waaruit een vector is samengesteld negatief is. (dus als de vector in bijvoorbeeld een cartesisch coördinatenstel. naar links of naar beneden wijst) dan verandert ook het teken van de betreffende "bi-vector". Maar als de beide vectoren in dezelfde (of juiste de tegengestelde) richting wijzen, dan is hun product de nul "bi-vector", want het oppervlak dat je kunt beschrijven met behulp van een parallellogram met de beide vectoren als zijden is uiteraard nul. Dat is niet hetzelfde als een coördinaat gelijk aan nul, noch aan een nul-vector(de vector van een punt tot aan zichzelf), maar het betreft een oppervlak van nul.

Het komt mij voor dat het aangeven van wat er precies nul is geen logicafout is

Ik wens u alle goeds

Gebruikersavatar
TIBERIUS CLAUDIUS
Bevlogen
Berichten: 1939
Lid geworden op: 02 mei 2017 18:24
Locatie: CAPRI

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TIBERIUS CLAUDIUS » 23 jun 2017 15:01

Dat beloof ik schreef:De eerste is onduidelijk. Ik neem aan dat je bedoelt te vragen "hoe groot is de verzameling appels?"
"Wat is de verzameling appels" kan ook worden opgevat als een naam voor die verzameling.
Dit is keurig gedefinieerd in de wiskunde.
Met de grootte wordt het bijbehorende Kardinaal getal van de verzameling bedoeld.

In notatie:
Het kardinaal getal van verzameling V is: K(V)
Het kardinaal getal zelf is echter GEEN verzameling.
Dus K(V) is altijd ongelijk aan V.

Een verzameling is dus nooit gelijk aan zijn kardinaal getal.
Het kardinaal getal van de lege verzameling { } is 0.

Derhalve is het wiskundig totaal onzinnig om te stellen dat 0 = { }.
Immers dan zou er de onzinnigheid K( { } )= { } staan.
Dat beloof ik schreef:Je krijgt dan spraakverwarring en dat is in dit topic nu wel vaak genoeg gebeurd.
Dat klopt:
Dat is vooral te wijten omdat een aantal mensen die de grondslagen van de wiskunde niet beheersen zich toch aanmatigen er alles van te weten, dat moet wel tot spraakverwarring leiden.
Ook leidt dat tot totaal onzinnige gedachten als hierboven vermeld door gebrek aan wat wat is.

Wiskunde is geen voetbal waar een ieder maar wat kan roepen, (wat hij een ander heeft horen roepen) zonder de spelregels te beheersen. In voetbal valt dat nauwelijks op, maar in de Wetenschap val men gelijk door de mand.

Een ieder moet aan het begin beginnen en de hele weg afleggen, zo werkt dat in de wetenschap en in de wiskunde in het bijzonder.

PS.
In de wiskunde is het begrip appels onbekend.
En als er nu meer keizers zijn geweest dan maanden, wat dan, geachte senatoren?

TTC
Forum fan
Berichten: 359
Lid geworden op: 28 jan 2017 14:09

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TTC » 23 jun 2017 15:05

TIBERIUS CLAUDIUS schreef:Een ieder moet aan het begin beginnen en de hele weg afleggen, zo werkt dat in de wetenschap en in de wiskunde in het bijzonder.
Dan zouden we moeten beginnen bij niets, net zoals de TS aangeeft. Ophelderend is wel het feit dat eenvoud toch niet zo makkelijk is dan het lijkt, heel bijzonder.

Gebruikersavatar
TIBERIUS CLAUDIUS
Bevlogen
Berichten: 1939
Lid geworden op: 02 mei 2017 18:24
Locatie: CAPRI

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TIBERIUS CLAUDIUS » 23 jun 2017 15:08

axxyanus schreef:Ook hier uit kunnen we niet afleiden 0 = (0, 0)
Erger nog het zou betekenen dat:

0= {0} = (0 , 0) = (0, 0 , 0) = (0, 0 , 0 , 0)= ...............................=(0 ,0 , ......................0 , 0)

Terwijl het allemaal verschillende zaken zijn.

Maar ik vrees het ergste.

Ze zullen niet kunnen inzien dat:
de nul vector van een 2-dim ruimte iets anders als de nulvector van een 7-dim ruimte.
En als er nu meer keizers zijn geweest dan maanden, wat dan, geachte senatoren?

Gebruikersavatar
Dat beloof ik
Bevlogen
Berichten: 3285
Lid geworden op: 07 jun 2013 13:21
Locatie: Brabanste Wal

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door Dat beloof ik » 23 jun 2017 15:16

TIBERIUS CLAUDIUS schreef:
Dat beloof ik schreef:De eerste is onduidelijk. Ik neem aan dat je bedoelt te vragen "hoe groot is de verzameling appels?"
"Wat is de verzameling appels" kan ook worden opgevat als een naam voor die verzameling.
Dit is keurig gedefinieerd in de wiskunde.
Met de grootte wordt het bijbehorende Kardinaal getal van de verzameling bedoeld.

In notatie:
Het kardinaal getal van verzameling V is: K(V)
Het kardinaal getal zelf is echter GEEN verzameling.
Dus K(V) is altijd ongelijk aan V.

Een verzameling is dus nooit gelijk aan zijn kardinaal getal.
Het kardinaal getal van de lege verzameling { } is 0.

Derhalve is het wiskundig totaal onzinnig om te stellen dat 0 = { }.
Immers dan zou er de onzinnigheid K( { } )= { } staan.
Ik dacht dat ik een simpele vraag stelde. Begrijp ik nu dat je inderdaad wilde vragen naar de grootte van de verzameling, aangezien je nu begint over kardinaalgetal (het hoort aan elkaar te worden geschreven)?
“Mr. Spock, do you have a theory?”
“No captain. For a theory, one requires facts. Since we do not have any, it would be illogical to have a theory.”
(Star Trek, seizoen 1)

Gebruikersavatar
TIBERIUS CLAUDIUS
Bevlogen
Berichten: 1939
Lid geworden op: 02 mei 2017 18:24
Locatie: CAPRI

Re: Wordt logica aanvaard door wiskundigen en wetenschappers

Bericht door TIBERIUS CLAUDIUS » 23 jun 2017 15:17

TTC schreef:
TIBERIUS CLAUDIUS schreef:Een ieder moet aan het begin beginnen en de hele weg afleggen, zo werkt dat in de wetenschap en in de wiskunde in het bijzonder.
Dan zouden we moeten beginnen bij niets, net zoals de TS aangeeft. Ophelderend is wel het feit dat eenvoud toch niet zo makkelijk is dan het lijkt, heel bijzonder.
Ook weer mis.

Men moet bij de grondslagen beginnen.

Een zeker niet zomaar ergens midden in en dan wat over de grondslagen beweren, die men niet eens kent.
En als er nu meer keizers zijn geweest dan maanden, wat dan, geachte senatoren?

Plaats reactie