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.
  Appeared on Wikipedia's Main Page in the Did you know? column on October 19, 2006.
 
Wikipedia
  Appeared on Wikipedia's Main Page in the Did you know? column on October 24, 2006.
 
Wikipedia
  Appeared on Wikipedia's Main Page in the Did you know? column on October 25, 2006.
 
Wikipedia
  • MINLOG, a proof assistant based on minimal logic. Unfortunately somebody decided to suppress this article without reason.
  Appeared on Wikipedia's Main Page in the Did you know? column on November 29, 2007.
 
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 Thursday, 28 March 2024.

We are in week 13 of the year.

The time is 15:51.

A sketchbook with outlines of the books I read.

Math topics edit

Mathematicians: Georg Cantor

Algorithmic complexity: Eulerian path

Articles related to infinity: Infinity (philosophy), Anaximander's apeiron, Zeno's paradoxes; Sieve of Eratosthenes, Cantor, Hilbert hotel, Skolem's paradox;

Wikipedia work edit

Edit Counter

Manual of Style

Featured Articles edit

Wikipedia:Featured article candidates

Projects and Portals edit

Tools edit

Template:AfD in 3 steps

Wikipedia:Criteria for speedy deletion

Wikipedia:Template messages

Wikipedia:WikiProject Stub sorting/Stub types

Wikipedia:Image copyright tags

Template:Mathlogic-stub