User:Eubulide

From Wikipedia, the free encyclopedia

the unexamined life is not worth living
Wikipedia:Babel
it Questo utente è di madrelingua italiana.
en-4 This user speaks English at a near-native level.
fr-2 Cet utilisateur peut contribuer avec un niveau intermédiaire en français.
nl-2 Deze gebruiker heeft een middelmatige kennis van het Nederlands.
e^{i \pi} \,\; This user is a mathematician.
This user is a Judoka.
Search user languages

Contents


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.

[edit] Articles I have started

  • 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
Did You Know Appeared on Wikipedia's Main Page in the Did you know? column on October 24, 2006.
Wikipedia
Did You Know 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.
Did You Know Appeared on Wikipedia's Main Page in the Did you know? column on November 29, 2007.
Wikipedia

[edit] Articles I significantly edited

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.

[edit] Miscellaneous

Today is Wednesday, 11 June 2008.

We are in week 24 of the year.

The time is 02:40.

A sketchbook with outlines of the books I read.

[edit] Math topics

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;

[edit] Wikipedia work

Edit Counter

Manual of Style

[edit] Featured Articles

Wikipedia:Featured article candidates

[edit] Projects and Portals

[edit] Tools

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