Fotostrip voor New Scientist
Mijn site bestaat vandaag twaalf en een half jaar! Wie had dat gedacht, toen we op 9 april 2007 van start gingen met strip 1. Bedankt voor het lezen, blijf me volgen en zeg het voort! En vergeet niet: je kunt nog 9 dagen meedoen aan de crowdfunding van mijn fotoroman Het nadeel van de twijfel.
xx Y
Gefeliciteerd met je jubileum. Ik had gisteren ook een 12,5 jarig jubileum. Wat een toeval!
9-10-2019
Alweer 12,5 jaar in de smurf gesmurft?
2
9-10-2019
Nou, nou, "logisch", zo kan-ie wel weer. Straks gaan we het keuze-axioma nog "logisch" noemen. En dat uit het land van Brouwer en Heyting! ;)
9-10-2019
Ze zegt toch zelf al dat het heel tegenintuïtionistisch voelt!
9-10-2019
Het probleem bij het gebruik van het woord of in een informele context is vaak dat niet duidelijk is of de exclusieve of bedoeld wordt. Gelukkig is dat in deze (min of meer) formele context duidelijk niet het geval.
9-10-2019
Overigens bedenk ik me net dat wanneer je die of dus juist wel vervangt door een exclusieve of, het resultaat waarschijnlijk equivalent is aan een dubbele implicatie (A <=> B). Ik kan deze spontane ingeving zo gauw niet bewijzen, maar dat heeft vast iemand al eens een keer gedaan...
9-10-2019
Dit is echt mijn laatste reactie nu, maar ik zie zojuist dat je het met behulp van wat stellingen uit de Booleaanse algebra relatief eenvoudig kunt bewijzen. Ik denk alleen niet dat ik er iemand een plezier mee doe om dat bewijs hier uit te schrijven, dus laat ik dat maar achterwege. ;)
9-10-2019
De kantlijn is ook een beetje te krap om het bewijs uit te schrijven.
1
10-10-2019
Vooral ook omdat de stelling niet waar is. De exclusieve of is hetzelfde als de _negatie_ van dubbele implicatie.
10-10-2019
De negatie van een dubbele implicatie is toch die dubbele implicatie zelf, of ben ik nou gek?
10-10-2019
Misschien praten we langs elkaar heen. In elk geval denk ik dat ik de term "negatie van dubbele implicatie" verkeerd geïnterpreteerd heb, want ik dacht aan de negatie van de waarden aan weerszijden van de dubbele implicatiepijl, maar dat is natuurlijk iets anders. Hoe dan ook, als je in de waarheidstabel de implicatiepijl vervangt door een dubbele implicatiepijl krijg je daaronder de waarden 1 0 0 1, toch? En als je in de kolom ernaast de of vervangt door een exclusieve of, dan krijg je toch ook de waarden 1 0 0 1? Nou ja, misschien maak ik ergens een denkfout en zo belangrijk is het ook helemaal niet, maar volgens mij klopt mijn redenering gewoon.
10-10-2019
Dat zou een mooie boel worden! Als iets zijn eigen negatie zou zijn, dan:... tja, dan zou eigenlijk alles!
1
10-10-2019
Inderdaad, het kan niet eens. Maar goed, ik had al aangegeven dat ik je verkeerd begrepen had. Mijn oorspronkelijke bewering dat A ↔ B equivalent is met ¬A ⊻ B klopt gewoon. Het enige waar ik me nu nog zorgen over maak is de Unicode-ondersteuning van deze site...
10-10-2019
OK, you win. Ik vreesde dat je bedoelde: A ↔ B = A ⊻ B
10-10-2019
Ah, dan snap ik waar het misverstand vandaan komt. Kan gebeuren...
10-10-2019
Begrijp ik hier nou uit dat je alleen op moederdag een bloemetje voor je moeder koopt?
9-10-2019
Nee. A → B is niet B → A...
1 9-10-2019