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 Wednesday, 4 December 2024.

We are in week 49 of the year.

The time is 11:32.

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

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