X

Posts

November 21, 2014

+
8:30 AM | Mr. B's Brain-O Quiz Number 7
Mr. B’s “BRAIN-O” QuizGuaranteed to unclog clogged up […]

November 20, 2014

+
9:00 AM | Sono stato piratato
A giudicare dalle volte che se lo sono scaricato non so se dispiacermene o esserne contento.
+
8:55 AM | Carnevale della matematica di dicembre
Il 14 dicembre l'80-esima edizione del Carnevale della matematica (nome in codice: “canta, canta, canta… tra i cespugli canta”) sarà ospitata da me su Pitagora e dintorni. Il tema sarà "Matematica e irrazionalità". E, come sempre, tutti i contributi fuori tema andranno benissimo lo stesso.Lista dei Carnevali passati e futuri

November 19, 2014

+
8:30 AM | Preparing to Fibonacci Day: Post Script
We have spent the last couple of weeks looking and some of the many ways the Fibonacci sequence has been applied to real life, to mathematics, to nature (rabbits, bees, flowers, pineapples, pinecones, etc.) to music, to fashion, to furniture, and to art.  All of this started with a simple problem about raising rabbits.Leonardo of Pisa, or Leonardo Fibonacci, is best known for the Fibonacci sequence and this one problem in his book "Liber Abaci".  And we are still overlooking his […]
+
2:05 AM | Kalmár's Compleness Proof
Dana Scott's proof reminded commenter "fbou" of Kalmár's 1935 completeness proof. (Original paper in German on the Hungarian Kalmár site.) Mendelsohn's Introduction to Mathematical Logic also uses this to prove completeness of propositional logic. Here it is (slightly corrected): We need the following lemma: Let $v$ be a truth-value assignment to the propositional variables in $\phi$, and let $p^v$ be $p$ if $v(p) = T$ and $\lnot p$ if $v(p) = F$. If $v$ makes $\phi$ true, then \[p_1^v, […]

November 18, 2014

+
9:57 AM | La musica dai ritmi irrazionali 2
- Me lo spieghi finalmente che cosa sono questi ritmi irrazionali?- Certo che te lo spiego. Sono venuto per questo. Allora, la volta scorsa abbiamo detto che la frazione iniziale stabilisce il ritmo della battuta e che, generalmente, al denominatore si trovano potenze di due.- Sì, però mi dicevi pure che un po' di anni fa qualcuno si è divertito a creare qualcosa di nuovo e che così sono venuti fuori i cosiddetti metri irrazionali. Quindi che diavolo sarebbero […]
+
8:30 AM | Preparing for Fibonacci Day: What Number Come Before the 1 and the 1?
The Fibonacci sequence “starts” with 1, and 1 (or some say 0, 1, and 1), and […]
+
5:21 AM | Solutions to Friday's Brain-O Quiz
Solution to Fridays Brain-O Quiz.1.  Easy, just push the cork in.2.  […]

November 17, 2014

+
8:51 AM | Carnevale della Matematica #79 - matematica e libertà
Il Carnevale della Matematica di novembre, il numero 79 (nome in codice "senza posa"), ha come tema: matematica e libertà.Ad ospitarlo è Spartaco Mencaroni.Io ho contribuito con Altramatematica a metà prezzo e La musica dai ritmi irrazionali 1, introdotto così da Spartaco:Sempre a suon di musica ecco arrivare il nostro Flavio Ubaldini, che ci ha abituato alle sue affascinanti escursioni nel mondo dove la musica e i numeri si intrecciano. Nel suo […]
+
8:30 AM | Preparing for Fibonacci Day: Fibonacci and the Golden Ratio
One of the more well know properties of the Fibonacci sequence is its […]
+
12:15 AM | Dana Scott's Favorite Completeness Proof
Last week I gave my decision problem talk at Berkeley. I briefly mentioned the 1917/18 Hilbert/Bernays completeness proof for propositional logic. It (as well as Post's 1921 completeness proof) made essential use of provable equivalence of a formula with its conjunctive normal form. Dana Scott asked who first gave (something like) the following simple completeness proof for propositional logic: We want to show that a propositional formula is provable from a standard axiomatic set-up iff it is […]

November 16, 2014

+
8:30 AM | Preparing for Fibonaci Day: Fibonacci Tartan and Bagpipe Music
Field Trip!  Please go watch this Numberphile Video at: […]

November 15, 2014

+
8:30 AM | Preparing for Fibonacci Day - Pisano Periods
Field Trip!  Go watch the Numberphile Video: […]

November 14, 2014

+
4:36 PM | Lectures on the Epsilon Calculus
Back in 2009, I taught a short course on the epsilon calculus at the Vienna University of Technology.  I wrote up some of the material, intending to turn them into something longer.  I haven't had time to do that, but someone might find what I did helpful. So I put it up on arXiv: http://arxiv.org/abs/1411.3629
+
8:30 AM | Mr. B's Brain-O Quiz Number 6
Mr. B’s “BRAIN-O” QuizGuaranteed to unclog clogged up […]

November 13, 2014

+
8:30 AM | Sweet Italian Girl and the Number 13
Peggy Sue’s Fraction:Peggy Sue is a sweet Italian girl who has a thing about […]

November 12, 2014

+
8:30 AM | Preparing for Fibonacci Day: The (Other) Fibonacci Fraction
999,999,999,998,999,999,999,999 is an interesting number.  I could tell you […]

November 11, 2014

+
10:03 AM | The Renaissance Road Show – November 2014
If you happen to be in Nürnberg tomorrow evening (Wed 12 Nov) I shall be babbling on about Christoph Clavius in the Nicolaus Copernicus Planetarium (in German) at 7:00pm MET. This is an updated version of the lecture I held … Continue reading →
+
8:30 AM | Veteran's Day
It is Veteran's Day (in the U.S.) and as a veteran I am taking the day off to visit with an honor some of my veteran friends, brothers and sisters.But I have a big update planned for you tomorrow.If you know a veteran, please thank him for his or her service to our country, give them a big hug, kiss them right on the lips, buy them dinner, ... well a sincere "thank you" and a handshake would be sufficient and appreciated.Thanks,David

November 10, 2014

+
9:03 AM | Altramatematica a metà prezzo
Lo sapevate che a Milano, da giovedì 13 a domenica 16 novembre, si terrà Bookcity? Una manifestazione libraria con quasi mille eventi sparsi per la città.Ma la cosa più interessante è che per la durata di questo evento tutti gli ebook di Altramatematica (tranne l'ultimo che uscirà a breve) saranno venduti a metà prezzo. Anzi che dico a metà prezzo. Lo sconto sarà addirittura del 50,25%. O detto in altri termini, un euro in meno a ebook.E tra questi ovviamente […]
+
8:30 AM | Preparing for Fibonacci Day - Fibonacci Flowers, Pinecones and Pineapples
It has been pointed out that many flowers have a Fibonacci number of petals.  This is not true for all flowers but many do. 1 Petal2 Petals3 Petals5 Petals8 Petals13 Petals […]
+
8:00 AM | Solutions to Fridays Brain-O Quiz
Solutions for Friday’s Brain-O Quiz.1.  T, for ten.2.  Three.  […]

November 09, 2014

+
8:30 AM | Preparing for Fibonacci Day - Fibonacci Poetry
Fibonacci poetry (also called “fibetry”, or “fibs”) is a form of […]

November 08, 2014

+
8:30 AM | Preparing for Fibonacci Day - Fibonacci Mobiles
         F(2),    F(3),     F(4),              F(5),                             […]
+
3:17 AM | Preparing for Fibonacci Day - Pascal's Triangle and the Fibonacci Numbers
Rows 0 through 10 of Pascal's Triangle.Fibonacci Numbers (in red) hiding in Pascal's Triangle.David

November 07, 2014

+
8:30 AM | Mr. B's Brain-O Quiz Number 5
Mr. B’s “BRAIN-O” QuizGuaranteed to unclog clogged up […]

November 06, 2014

+
1:09 PM | Sono dannosi gli OGM?
Ho appena letto questo articolo di Dario Bressanini, Perché non possiamo non dirvi antiscientifici, e ne consiglio la lettura. Per quelli più pigri riporto qui gli stralci a mio avviso più interessanti."Con l’avvicinarsi di EXPO il dibattito sugli OGM si è riacceso, e ancora una volta sconta la difficoltà, da parte di intellettuali come Carlo Petrini o Michele Serra, di comprendere e accettare le regole di una discussione scientifica, attirandosi le accuse, da parte di molti […]
+
8:30 AM | Preparing for Fibonacci Day - Fibonacci Cabinets
Fibonacci Spiral. REFERENCES:https://www.behance.net/gallery/2812519/Fibonacci-Cabinethttp://www.gizmag.com/fibonacci-cabinet-math-furniture/24680/David

November 05, 2014

+
8:30 AM | Preparing for Fibonacci Day - Fibonacci Spiral
A tiling with squares whose side lengths are successive Fibonacci numbers.Fibonacci SpiralREFERENCES:http://en.wikipedia.org/wiki/Fibonacci_number http://en.wikipedia.org/wiki/Golden_spiralDavid

November 04, 2014

+
8:30 AM | Preparing for Fibonacci Day - Fibonacci Lemonade
This post is directly taken from Andrea Hawksley’s blog, but I did not […]
123456789
584 Results