Jump to content

User:Eubulide

From Wikipedia, the free encyclopedia
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 Monday, 25 November 2024.

We are in week 48 of the year.

The time is 14:04.

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