X

Posts

October 21, 2014

+
2:37 PM | Little things matter – for want of a semicolon.
The Prof is back. A couple of years back Professor Christopher M. Graney, known to his friends as Chris, wrote a highly informative guest post for The Renaissance Mathematicus defending the honour of Tyco Brahe against his ignorant modern critics. In the mean time … Continue reading →
+
11:47 AM | Proposte per nuova punteggiatura
A dire il vero, qualche volta l'esigenza della virgola interrogativa l'ho avuta. E forse pure del punto ironizzante. Altrimenti uno è costretto a usare sempre le emoticone che, in alcuni contesti, non sono molto appropriate. Che ne dite? L'esistenza di segni di punteggiatura che ignoravo l'ho scoperta leggendo l'interessante articolo "La mia Giornata proGrammatica", in cui Licia Corbolante racconta la sua esperienza di esperta linguistica e "testimone di buona lingua" presso l’IIS Paolo […]
+
12:34 AM | Proof Formalization in Mathematics: Guest Post by Jeremy Avigad
There's a discussion going on at the Foundations of Mathematics mailing list about the purpose and value, actual and potential, for formalized proofs in mathematics.  Harvey Friedman asked Jeremy Avigad to comment; he sent this super-useful list of references, republished here with his approval. John Harrison and I recently wrote a survey on formalized mathematics, for computer scientists: Jeremy Avigad, John Harrison, 2014, "Formally verified mathematics." Communications of the ACM 57: […]

October 20, 2014

+
6:00 PM | Edward Nelson, 1932-2014
Just found out that Edward Nelson died last month. http://www.princeton.edu/main/news/archive/S41/11/36I14/index.xml http://en.wikipedia.org/wiki/Edward_Nelson AddThis: 

October 17, 2014

+
3:04 PM | Awodey's "HoTT for Philosophers" on mathtube.org
Steve Awodey's talk in the Calgary Mathematics & Philosophy lecture series ("Univalence as a New Principle of Logic" aka "HoTT for Philosophers") is now up on mathtube.org. AddThis: 
+
8:23 AM | «La Merkel ha dimenticato quando l’Europa dimezzò i debiti di guerra alla Germania»
Joschka Fischer, l’ex segretario dei verdi tedeschi, ha appena pubblicato un libro. «Scheitert Europa?», «L’Europa fallisce?». Tra le altre accuse contro le «politiche di euroegoismo» della coppia Merkel-Schaeuble Fischer ricorda i fatti relativi alla Conferenza di Londra. Fatti che, sinceramente, ignoravo. E dopo averli letti mi sono detto: strano che non ne parli mai nessuno.Riccardo Barlaam recensisce il libro su Il Sole 24 Ore"Fischer scrive che è «sorprendente» che la Germania […]
+
3:22 AM | bpextra: new version v 0.2
I've fixed a bug in bpextra.The new version can be downloaded from github. See also this issue for how to define your own deduction styles. AddThis: 

October 16, 2014

+
8:49 PM | SotFoM II: Competing Foundations
The second installment of SotFom (Symposium on the Foundations of Math) is asking for papers by Halloween: http://sotfom.wordpress.com/2014/10/14/final-cfp-and-extended-deadline-s... FINAL CFP and *EXTENDED DEADLINE*: SoTFoM II `Competing Foundations?’, 12-13 January 2015, London. The focus of this conference is on different approaches to the foundations of mathematics. The interaction between set-theoretic and category-theoretic foundations has had significant philosophical impact, and […]
+
9:33 AM | Carnevale della Matematica #78 - Disegnate la matematica
Il Carnevale della Matematica di ottombre, il numero 78 (“il merlo canta allegro”), ha come tema: Disegnate la matematica.Ad ospitarlo è Rosalba.Il tema è molto interessante e molto ben sviluppato. Io ho contribuito con La matematica degli Hindu: Aryabhata, Brahmagupta, Mahāvīra, Bhāskara, numeri negativi e irrazionali. Il contributo è parzialmente in tema visto che Bhāskara fu anche bravo a disegnarla la matematica.Infatti, come ci ricorda anche .mau. […]

October 14, 2014

+
6:03 PM | Free Schlick!
Did you know? The Moritz Schlick Gesamtausgabe is available for free at the Moritz-Schlick-Forschungsstelle! Just click on the cover image to download the PDF (instead of the "order online" link).  Alas, it's only in German. AddThis: 
+
4:57 PM | The Queen of Science – The woman who tamed Laplace.
In a footnote to my recent post on the mythologizing of Ibn al-Haytham I briefly noted the inadequacy of the terms Arabic science and Islamic science, pointing out that there were scholars included in these categories who were not Muslims … Continue reading →
+
12:15 PM | Radio Coatta Classica e DJ spinetta
Ho appena scoperto che ignoravo l'esistenza di questa pietra miliare del panorama radiofonico italiano:Radio Coatta Classica e il suo DJ spinetta. La mejo musica classica dai tempi de Checch'e Nnina. Una perla! Conoscevate questa emittente? Sapevate che Carissimi è stato uno de li mejo a perfeziona' le forme daa cantata? No? E allora sapevatelo!La puntata sottostante è dedicata a Grieg e Skrjabin. Questa a Giacomo CarissimiE questa a Giuseppe Verdi 

October 13, 2014

+
2:16 PM | Cambridge Graduate Conference on the Philosophy of Mathematics and Logic
If you're in that part of the world (or will be in January), you might be interested to know that registration for the 8th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic (17-18 January 2015) is now open: The conference will be held in St. John's College, Cambridge. There will be two keynote speakers and six talks from graduate students on a variety of topics in the Philosophy of Mathematics and Logic, broadly construed. The graduate papers will have […]
+
8:38 AM | Gaël Giraud: L’austerità di bilancio è una sciocchezza - Ciò che la Germania ha fatto con due guerre mondiali, lo sta rifacendo sul piano economico
A Pagina 3 dell'8 ottobre Vittorio Giacopini ha letto e commentato un'interessante intervista a Gaël Giraud (podcast della puntata). Ne riporto qualche stralcio.Premiato nel 2009 da Le Monde come miglior giovane economista, padre Giraud è diventato un ascoltato protagonista del dibattito pubblico francese e un interlocutore del presidente Hollande. Finora – ammette – senza grande successo...Padre Giraud, perché ce l’ha tanto con le banche?  «Come molti economisti […]

October 06, 2014

+
2:46 PM | Polluting Youtube once again!
Professor Christopher M Graney, Renaissance Mathematicus friend and guest blogger, has posted another of his holiday videos on Youtube, documenting parts of his visit to Nürnberg and Bamberg for the Astronomy in Franconia Conferences. In his new video “Nürnberg and … Continue reading →

October 04, 2014

+
5:11 PM | Lo sapevate che quasi tutti i numeri non hanno un nome?
Sapevatelo! Da Maurizio Codogno."Cosa significa dare un nome a un numero? Vuol dire poterlo chiamare, cioè associargli una frase, che a sua volta è un insieme finito di lettere in una certa lingua. ... Resta il fatto che quelle frasi contengono un numero finito, anche se grande a piacere, di caratteri di un certo alfabeto, caratteri che sono anch’essi in numero finito. Come ci insegna Cantor, i nomi utilizzabili sono un infinito numerabile: per contarli basta prendere e ordinare tutte […]

October 03, 2014

+
5:44 PM | The unfortunate backlash in the historiography of Islamic science
Anybody with a basic knowledge of the history of Western science will know that there is a standard narrative of its development that goes something like this. Its roots are firmly planted in the cultures of ancient Egypt and Babylon … Continue reading →

October 02, 2014

+
3:36 PM | Putnam Blogging on Tarski on Truth
Hilary Putnam is writing on Tarski's theory of truth (and Field's analysis of it) at Sardonic Comment. First two blog posts are up: http://putnamphil.blogspot.ca/2014/09/first-of-series-of-posts-on-tarski... http://putnamphil.blogspot.ca/2014/09/a-second-post-on-tarski-this-post.... AddThis: 

October 01, 2014

+
9:17 PM | Steve Awodey gives inaugural Calgary Mathematics & Philosophy Lecture
I'm very excited that Steve Awodey is on his way here to deliver the first Calgary Mathematics & Philosophy Lecture tomorrow! He's speaking on "Univalence as a New Principle of Logic." If you're in Calgary, you should come.  It'll be exciting. Thursday, 3:30 pm, in Engineering Building A aka ENA 101 on the UofC campus. Here's the abstract: It is often convenient or useful in mathematics to treat isomorphic structures as the same.  The Univalence Axiom for the foundations of mathematics […]

September 30, 2014

+
12:03 PM | Compratevi e usate un auricolare
Conosco personalmente due casi di incidenti (uno mortale e uno quasi) causati dall'uso del cellulare mentre si guida. E oggi ho letto che, secondo la «Ricerca demoscopica sui comportamenti alla guida» pubblicata nel 2011 dalla Fondazione Ania, l'uso del cellulare durante la guida implica queste conseguenze:A 110/Km chi parla al cellulare fa 14 metri in più prima di fermarsi;La distanza di arresto diventa di 39 metri se si guida col cellulare (8 metri se si usa l’auricolare o il […]

September 29, 2014

+
10:38 AM | La matematica degli Hindu: Aryabhata, Brahmagupta, Mahāvīra, Bhāskara, numeri negativi e irrazionali
Nella precedente puntata abbiamo abbiamo visto che la matematica hindu sarebbe diventata significativa solo dopo essere stata influenzata dai risultati greci producendo quello che viene indicato come il secondo periodo della matematica hindu, che va dal III al XIII sec. d.C. I matematici più importanti di questo secondo periodo della matematica hindu sono Aryabhata, Brahmagupta, Mahāvīra  e Bhāskara. E la maggior parte della loro opera era motivata dall'astronomia e […]

September 27, 2014

+
4:16 PM | The horror, the horror!
For those readers who might have wondered what The Renaissance Mathematicus looks and sounds like, you need wonder no more. There is now a video on Youtube in which I stumble and stutter my way through a very impromptu, not … Continue reading →
+
3:46 PM | Jesuit Day
Adam Richter (@AdamDRichter) of the Wallifaction Blog (he researches John Wallis) tells me that the Society of Jesus, known colloquially as the Jesuits, was officially recognised by Pope Paul III on 27th September 1540. He gives a short list of … Continue reading →

September 25, 2014

+
2:54 PM | If you’re going to pontificate about the history of science then at least get your facts right!
Recently, my attention was drawn to an article by Pascal-Emmanuel Gobry, on The Week website, telling the world what the real meaning of ‘science’ is (h/t Peter Broks @peterbroks). According to Mr Gobry science is the process through which we … Continue reading →
+
8:02 AM | Cammino transappenninico: secondo giorno - pomeriggio
Domenica 15 giugno - pomeriggioNel tardo pomeriggio, lungo la strada per S. Scolastica, passiamo per la villa di Nerone. "Edificata intorno al 56 d.C. come residenza estiva dell'imperatore, comprendeva imponenti dighe, che, sbarrando il corso del fiume Aniene, davano vita a tre laghi artificiali, denominati "Simbruina Stagna".Visitiamo quindi l'abbazia, il suo primo chostro e il chiostro dei cosmati.Poi, per arrivare al Sacro Speco, attraversiamo un bosco di lecci, alcuni dei quali […]

September 24, 2014

+
11:32 AM | Sono stato truffato?
- Sto cercando delle gocce per disinfettare l'occhio.- Che cosa intende esattamente?- Vede? Ho l'occhio infiammato.- Ma quella probabilmente è un'infezione batterica. Servirebbero delle gocce antibiotiche. E quelle può prescriverle solo il medico. Visto lo stato del suo occhio le consiglierei di andare dal medico.- Sì, lo so, ma questo tipo di problema mi capita ogni tanto e so che di solito guarisce da solo. Non avrebbe qualcosa che possa accelerare la guarigione e alleviare un po' il […]

September 23, 2014

+
4:51 PM | Milton Friedman and Gödel
I've been having a conversation with Alex Douglas and Eric Schliesser on their posts (Alex's, Eric's) about Milton Friedman's footnote about observer-dependence and Gödel's incompleteness theorem. AddThis: 
+
3:50 PM | Home
LogBlog Posts John Venn Day Gödel's Vienna: Finding Café Reichsrat Bleg: Philosophy survey for mathematicians The Place of Logic in Computer Science Education Followup Summer of Logic Dance Party Joachim Lambek (1922-2014) Getting Excited about the Computational Logic Olympics Last Day for […]

September 18, 2014

+
12:13 PM | La rivista Rudi Mathematici recensisce La Musica dei Numeri
Ma è proprio le la prestigiosa rivista Rudi Mathematici quella che ha recensito la mia Musica dei Numeri?Sembra proprio di sì :-) La troverete nel capitolo "Era Una Notte Buia e Tempestosa " del Numero 188 – Settembre 2014 della rivista. Ma, per soddisfare maggiormente il mio ego, l'ho anche copiata qui.4.3 La musica dei numeri« Qual è l’Arché? Qual è il principio primo? Quel principio da cui anche i nostri dèi sono stati generati?» Eravamo […]

September 15, 2014

+
9:11 AM | Un ferragosto matematico: Carnevale della Matematica #77 - Matematica mostruosa, spaventosa, vertiginosa
Il Carnevale della Matematica di settembre, il numero 77 (All’alba melodioso), ha come tema: Matematica mostruosa, spaventosa, vertiginosa.Ad ospitarlo è Paolo Alessandrini che così introduce il mio contributo:Anche Flavio Ubaldini, trombonista e matematico anche noto come Dioniso, ha a che fare con i librini di Altramatematica, avendo scritto l'imperdibile La musica dei numeri. E anche il suo contributo al carnevale settembrino è di tipo narrativo: direttamente […]
123456789
513 Results