QED

Artiest Josh Sommers heeft op Flickr een verzameling foto’s staan die het Droste-effect illustreren. Hij legt op zijn tutorial ook uit hoe je zelf afbeeldingen met het Droste-effect kan maken. Hij gebruikte hiervoor de MathMap-plugin voor het tekenprogramma The Gimp. Sommers haalde zijn inspiratie van de Nederlandse artiest Escher, die in veel van zijn afbeeldingen [...]

Volgens de Springer GTM Test (“Which Springer-Verlag Graduate Text in Mathematics are you?”) ben ik:

If I were a Springer-Verlag Graduate Text in Mathematics, I would be Joe Harris’s Algebraic Geometry: A First Course.
I am intended to introduce students to algebraic geometry; to give them a sense of the basic objects considered, the questions asked about [...]

De filosoof en logicus George Boolos gaf ooit een lezing over Gödels tweede onvolledigheidsstelling. Hij legde daarin de stelling uit door enkel woorden van één lettergreep te gebruiken:
Gödel’s Second Incompleteness Theorem
Explained in Words of One Syllable
First of all, when I say “proved”, what I will mean is “proved with the aid of the whole of [...]

Piled Higher & Deeper heeft een nieuwe verklaring voor de titel Phd:

Mathematicians are trained and inclined to sit and think. A mathematician can sit and think intensely about a problem for 12 hours a day, six months straight, with perhaps just a pencil and paper.
Leonard Adleman, geciteerd in Gina Kolata, SCIENTIST AT WORK: Leonard Adleman; Hitting the High Spots Of Computer Theory, The New York Times [...]

In januari nog vonden vrijwilligers van de Twin Internet Prime Search een nieuwe grootste priemtweeling: de getallen 2003663613 × 2195000 - 1 en 2003663613 × 2195000 + 1. De tot dan toe grootste priemtweeling werd toen naar nummer 2 gedevalueerd, maar die plaats is nu door een nieuwe priemtweeling met 51780 cijfers opgenomen: 194772106074315 × [...]

Jeff Miller heeft op zijn website lijsten van de vroegst bekende voorkomens van woorden en symbolen uit de wiskunde staan. Interessant is dat er bij veel woorden een uitgebreide bronnenlijst staat en een overzicht van de evolutie van de term. Over QED staat er:
Q. E. D. Euclid (about 300 B. C.) concluded his proofs with [...]

In het juli/augustus-nummer van PC-Active heb ik een artikel geschreven over paradoxen en zelfreferentie. Zowel de filosofische kant als computertoepassingen komen aan bod. Zo beschrijf ik er zogenaamde quines, computerprogramma’s zonder invoer die hun eigen broncode als uitvoer geven. Je kan de besproken quines in C, Java, Ruby en Prolog downloaden om er zelf eens [...]

De FDA Glossary of Computerized System and Software Development Terminology bevat deze ironische entry:
unambiguous. (1) Not having two or more possible meanings. (2) Not susceptible to different interpretations. (3) Not obscure, not vague. (4) Clear, definite, certain.
Gevonden op James Bachs blog.

Obvious is the most dangerous word in mathematics.
Eric Temple Bell