the unexamined life is not worth living
the unexamined life is not worth living


Eubulide is the italian version of the name of the greek philosopher Eubulides (no, he's not the one in the image, that's Socrates), the inventor on the liar paradox.

My main interestests are:

Mathematical Logic: Kurt Gödel.

Classical music: my favorite composers are Antonio Vivaldi and Joseph Haydn. And Jazz: Duke Ellington.

Judo: with particular attention to Kata.

Articles I have started

edit
  • The drinker paradox, a funny example of the use of formal mathematical logic.
Did You Know Appeared on Wikipedia's Main Page in the Did you know? column on October 19, 2006.
Wikipedia
Wikipedia
Did You Know Appeared on Wikipedia's Main Page in the Did you know? column on October 24, 2006.
Wikipedia
Wikipedia
Did You Know Appeared on Wikipedia's Main Page in the Did you know? column on October 25, 2006.
Wikipedia
Wikipedia
  • MINLOG, a proof assistant based on minimal logic. Unfortunately somebody decided to suppress this article without reason.
Did You Know Appeared on Wikipedia's Main Page in the Did you know? column on November 29, 2007.
Wikipedia
Wikipedia

Articles I significantly edited

edit

Articles on books that I read:

Antonio Vivaldi and some of his works: Ottone in villa.

Norval Morriseau, an aboriginal Canadian artist.

Judo: I added the section about kata.

Giovanni Girolamo Saccheri, the unwilling discoverer of Non-Euclidean geometry, and János Bolyai, the willing discoverer of the same.

Miscellaneous

edit

Today is Saturday, 13 June 2026.

We are in week 24 of the year.

The time is 06:47.

A sketchbook with outlines of the books I read.

Math topics

edit

Wikipedia work

edit

Edit Counter

Manual of Style

edit

Projects and Portals

edit

Tools

edit