Drinking Songs
The mathematician's drinking song [1]
Chorus
We drink to mathematics, upon whose structure lies
The physics of both space and time, and why the butter flies.
We drink our coffee every day, and nightly quaff down beer:
The postulates and axioms come out as theorems here.
Rene from Chartres was a man who had it all worked out.
He said, "I think therefore I am --- of this there is no doubt!
And by some lines in space you can all points therein describe,
So with that thought I think I shall another beer imbibe"
Chorus
Pierre de Fermat out of France, he was a gambling man.
He said "I read these books of mine to find out all I can.
"xn plus yn's not zn if n does exceed two,
But the margins of this book cannot contain this wond'rous proof!"
Chorus
An apple fell and Newton saw it plummet to the ground.
He said "I wonder what doth make the Moon to go around?"
Gravity was born that day, and so was calculus,
With its fluxions and its fluents and its dots to torment us.
Chorus
Bernoulli: father, son, and brother, and an uncle too.
Daniel was a relative, a cousin once removed.
Math and physics gained a lot, for they fought endlessly,
And nothing breeds success so much as sibling rivalry!
Chorus
Euler did believe in God, just like his fellow man.
Diderot the atheist said "Prove God if you can!"
"Sir, (a + bn) over n is x so therefore God exists!"
And Diderot could not refute a proof as good as this.
Chorus
Joseph Louis Lagrange wrote a book full of mathematics.
In English it would be the Analytical Mechanics.
He said "Look high and low, you'll find no pictures here!
So kind sir would you pour for me another pint of beer!"
Chorus
Marquis de Laplace did write some works on motions up in heaven.
He started work when but a lad of only ten and seven.
Napoleon said "I see no sign of God in this!"
Laplace replied "I have no need for that hypothesis."
Chorus
Karl Friedrich Gauss had a choice at one year 'ere his score,
To study mathematics, or words forevermore.
With compass and straightedge, he made his choice anon:
He went around and then inscribed a septendecagon.
Chorus
Cauchy and Bolzano thought that math was in a mess.
Separately they sought to make it much more rigorous!
Bolzano was Bohemian, and Cauchy came from France.
And with their work analysis continued its advance.
Chorus
Evariste Galois did write the theory of the group.
And with his knife did toast the King before the course of soup.
And at my age been laid to rest a dozen years or more.
So unto algebra I drink this next drink that I pour.
Chorus
Linear equations can be solved by anyone.
The cubics and quadratics and the quartics have been done.
Abel said "The quintics cannot likewise fall!
They cannot be resolved by means of radicals at all!"
Chorus
Riemann said that parallels need not exist in space.
Lobachevsky said that two or more could be in place.
The axioms of Euclid, which give us only one,
Cannot describe the space near massive bodies like the sun!
Chorus
Kronecker thought numbers should be things you can count on.
To root of 2 and rationals, he said "Vile things, begone!
Numbers should be whole! Let's get rid of the reals!
And in their place we'll substitute the theory of ideals!"
Chorus
Cantor showed that aleph0 can count the integers.
And aleph1 the reals, and aleph2 the curves.
For aleph-three-or-more, we've got no use at all.
So let us sing of aleph0 beer bottles on the wall.
Chorus
Banach, Tarski and Sierpinski were a bunch of Poles
Creators of pathologies, like gaskets full of holes!
"If you cut a sphere just so, from one you shall make two!"
(To comprehend this proof you need another pint of brew!)
Chorus
von Neumann was a man of math, from Hungary he came.
He did his work with automats and theories of the game.
He said "By minimax, you might as well coins flip!
"So you can play your game while I will have another sip!"
Chorus
The saga of mathematics has not yet in full been told.
The story, it goes on and on, it's six millenia old.
And yet I fear this song, has gone on long enough.
So take my glass and fill it with some alcoholic stuff....
We drink to mathematics, upon whose structure lies
The physics of both space and time, and why the butter flies.
We drink our coffee every day, and nightly quaff down beer:
The postulates and axioms come out as theorems here.
Yes, the postulates and axioms come out as theorems here!
Philosopher's drinking song [2]
Immanuel Kant was a real pissant
who was very rarely stable.
Heidegger, Heidegger was a boozy beggar
who could think you under the table.
David Hume could out consume
Wilhelm Friedrich Hegel,
And Wittgenstein was a beery swine
who was just as sloshed as Schlegel.
There's nothing Nietzsche couldn't teach ya
'Bout the raisin' of the wrist.
Socrates himself was permanently pissed.
John Stuart Mill, of his own free will,
After half a pint of shandy was particularly ill.
Plato, they say, could stick it away,
Half a crate of whiskey every day!
Aristotle, Aristotle was a bugger for the bottle,
And Hobbes was fond of his Dram.
And Rene Descartes was a drunken fart:
"I drink, therefore I am."
Yes, Socrates himself is particularly missed;
A lovely little thinker, but a bugger when he's pissed.