X

+

3:22 PM | Animated Logical Graphs : 7

Re: Ken Regan • The Shapes of Computations There are several issues of computation shape and proof style that raise their heads already at the ground level of boolean functions and propositional calculus. The dimensions I have found most prominent … Continue reading →

+

12:50 PM | Br-r-rimming Potpourri

Another quirky, weekly compilation of math bits that I didn't cover at Math-Frolic:
1)
The latest "Carnival of Mathematics" with all its festivities is
ready-and-waiting (it includes the infinite Kolakoski sequence which
sort of semi-blew my mind!):
http://solvemymaths.com/2015/05/17/carnival-of-mathematics-122/
2)
Not exactly math, but survey research...a fun, longish read from the
'

+

The Hyperuniverse Programme, launched in 2012, and currently pursued within a Templeton-funded research project at the Kurt Gödel Research Center in Vienna, aims to identify and philosophically motivate the adoption of new set-theoretic axioms.The programme intersects several topics in the philosophy of set theory and of mathematics, such as the nature of mathematical (set-theoretic) truth, the universe/multiverse dichotomy, the alternative conceptions of the set-theoretic multiverse, the […]

+

11:00 AM | Category Theory, Not Quite Fully Cooked

"How To Bake Pi" by Eugenia Cheng
[In Britain, this book goes under the title, "Cakes, Custard and Category Theory," a title I prefer!]
An intrinsic hazard of reviewing media, be it movies, TV, plays, music, books etc., is that 'expectations' play a significant role in any judgment.
I like
Eugenia Cheng's new book, "How To Bake Pi," and recommend it, and
believe it will be on my year-end

+

7:25 AM | Burgess, Rigor and Structure — 4

[After a delay, let’s continue …!] In the second half of Chapter 2 of his book, Burgess first turns to discuss some opponents of the project of rigorization when conceived as the project of regimenting mathematics into standard set theory. We … Continue reading →

+

6:54 AM | Shakespeare without topology

The comments on this post have taken a technical turn. I will eventually have to consult a local homotopy theorist to figure out what’s going on. In the meantime, I need to think about what I’m going to say at tomorrow’s event at the venerable bookstore that has reportedly become an obligatory stop for Russian […]

+

2nd part of the double header: Society for Philosophy and Psychology (SPP): 41st Annual meeting SPP 2015 Program Wednesday, June 3rd 1:30-6:30: Preconference Workshop on Replication in the Sciences, organized by Edouard Machery 1:30-2:15: Edouard Machery (Pitt) 2:15-3:15: Andrew Gelman (Columbia, Statistics, via video link) 3:15-4:15: Deborah Mayo (Virginia Tech, Philosophy) 4:15-4:30: Break 4:30-5:30: Uri Simonshon (Penn, […]

+

9:05 PM | Voevodsky trending

Voevodsky at the IAS on September 25, 2010, courtesy of the IAS Just short of two weeks after Siobhan Roberts published her article in nautil.us about Voevodsky and Univalent Foundations, it was Kevin Hartnett’s turn at Quanta, with an article entitled Will Computers Redefine the Roots of Math? I didn’t do justice to Roberts’s article […]

+

2:00 PM | Survey of Theme One Program • 1

This is a Survey of previous blog and wiki posts on the Theme One Program that I worked on all through the 1980s. The aim of the project was to develop fundamental algorithms and data structures to support an integrated … Continue reading →

+

Jacob Lurie has done all of us an immense favor by posting a comment on the “No Comment” post, explaining why he chose to respond in that way, and sharing his thoughts on the hope, expressed twice on this blog, that HOTT/UF might provide a quicker route to his results on higher categories (obtained at […]

+

This is a Survey of earlier blog and wiki posts on the Semiotic Theory Of Information. All my projects are exploratory in essence but this line of inquiry is more open-ended than most. The question is: What is information and how … Continue reading →

+

Math-Frolic Interview #31
"Penelope Maddy is
the candy-store kid of metaphilosophical logic and maths. She’s
stocked up with groovy thoughts about the axioms of mathematics, about
what might count as a good reason to adopt one, about mathematical
realism, about Gödel’s intuitions, naturalism, second philosophy, Hume
and Quine, world-word connections, about where mathematical objectivity

+

12:37 AM | “Error statistical modeling and inference: Where methodology meets ontology” A. Spanos and D. Mayo

A new joint paper…. “Error statistical modeling and inference: Where methodology meets ontology” Aris Spanos · Deborah G. Mayo Abstract: In empirical modeling, an important desiderata for deeming theoretical entities and processes as real is that they can be reproducible in a statistical sense. Current day crises regarding replicability in science intertwines with the question […]

+

I read a short article on scientificamerican.com reporting on a recent advance in the investigation of the neural systems that support navigation, or our sense of direction. When I did some follow-up on the individual who led the study, I was surprised to find another interesting collaboration between scientists and artists. While the collaboration was [...]

+

2:48 PM | Survey of Relation Theory • 1

In this Survey of previous blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many … Continue reading →

+

10:13 AM | “Whatever is rigorous is insignificant.”

It’s time to add René Thom’s discordant voice to this chorus. The title of this post is taken from his article La Science Malgré Tout in the 1973 edition of Encyclopaedia Universalis, and more recently from the epigraph of an article by Alain Chenciner entitled Le vrai, le faux, l’insignifiant [The true, the false, the […]

+

3:08 PM | This Week's Math-Mix

some maths from the week:
1) The 2015 topic for the FQXi annual essay contest was "Trick or Truth: the Mysterious Connection Between Physics and Mathematics." Peruse the entries here:
http://fqxi.org/community/forum/category/31424?sort=community
2) Another interview with Cedric Villani:
http://www.huffingtonpost.com/2015/05/07/cedric-villani-mathematic_n_7223966.html
3) Just another lesson

+

A few years ago I began a sketch on the Precursors of Category Theory, aiming to trace the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. This post is … Continue reading →

+

5:00 PM | Survey of Inquiry Driven Systems • 1

This is a Survey of previous blog and wiki posts on Inquiry Driven Systems, material that I plan to refine toward a more compact and systematic treatment of the subject. Elements Prospects for Inquiry Driven Systems Introduction to Inquiry Driven … Continue reading →

+

7:50 PM | Notes on Category Theory v.6a

A number of people have very kindly sent corrections to the last version of Notes on Category Theory. There are a number of possibly confusing typos and also a downright wrong proof. Embarrassing. So here’s a “maintenance upgrade”, hopefully making … Continue reading →

+

3:10 PM | Univalent Foundations: “No Comment.”

“No Comment” was Jacob Lurie’s reaction when the panel of Breakthrough Prize laureates was asked, at last November’s Breakthrough Prize Symposium at Stanford, what they thought of the “prospects for the Univalent Foundations program and whether that is a contender for changing” foundations of mathematics. The other panelists had deferred to Lurie, in some amusement; […]

+

1:00 PM | Survey of Differential Logic • 1

This is a Survey of previous blog and wiki posts on Differential Logic, material that I plan to develop toward a more compact and systematic account. Elements Differential Logic : Introduction Differential Propositional Calculus Applications Differential Logic and Dynamic Systems … Continue reading →

+

11:00 AM | Mathematics: Momentous or Mundane?

Giving pause...:
Over the weekend Mike Lawler, posted about two items ("two incredible descriptions of what it is like to do math research") he wished he had seen in graduate school in order to maintain his avid prior enthusiasm for math (one is a Numberphile interview with Ken Ribet, and the other is Cedric Villani's current book, "Birth of a Theorem"):
http://tinyurl.com/q355eyo
The
post

+

7:00 PM | Survey of Animated Logical Graphs • 1

This is one of several Survey posts I’ll be drafting from time to time, starting with minimal stubs and collecting links to the better variations on persistent themes I’ve worked on over the years. After that I’ll look to organizing … Continue reading →

+

1:46 PM | The Open Logic Text

As you will very probably have already seen, The Open Logic Project (a team of serious and good people) has now made available an early public version open-source collaborative logic text, somewhat ploddingly called the Open Logic Text. There are two things to … Continue reading →

+

Stephen Senn Head of Competence Center for Methodology and Statistics (CCMS) Luxembourg Institute of Health Double Jeopardy?: Judge Jeffreys Upholds the Law “But this could be dealt with in a rough empirical way by taking twice the standard error as a criterion for possible genuineness and three times the standard error for definite acceptance”. Harold […]

+

Msc Kvetch on my Rejected Posts blog.Filed under: frequentist/Bayesian, msc kvetch, rejected post

+

3:30 PM | Weekly Linkfest

Some mathiness you might've missed:
1) More and more of these 'traveling salesman'-like algorithm stories are showing up in the popular press:
http://tinyurl.com/oslersw
2) John McGowan reviews (and recommends) "Statistics Done Wrong: The Woefully Complete Guide" by Alex Reinhart:
http://math-blog.com/2015/05/04/review-of-statistics-done-wrong-the-woefully-complete-guide/
3) Spurious

+

3:02 PM | Open Logic Project

A new open-source advanced logic text, announced earlier this week on the new blog: richardzach.org. Please update your links and subscriptions.

+

1:50 PM | How to Brand Mathematics?

"Rockefeller Center (2006)" by Mr Bullitt - Photo taken by Mr Bullitt from Sweden. Licensed under CC BY 2.5 via Wikimedia Commons The other day, while I was seeking the way out of the Rockefeller Center basement, with growing desperation, admiring the crowds enjoying the legendary Rockefeller family hospitality, I wondered why the Institut Henri […]

Sidebar

Filters

+

Stupiti che 1 non sia primo? Scopriamo insieme perché è "solo" l'unità!Abbiamo già visto come, partendo dai numeri primi, si possa sviluppare un discorso più o meno approfondito sulle fondamenta matematiche. Altrettanto fondamentale, però, si rivela provare a rispondere alla domanda su quale sia il numero primo più piccolo. E', infatti, abbastanza noto come il numero 1 sia stato ora inserito ora escluso dalla lista dei numeri primi, ottenendo in alcuni casi lo status di più piccolo tra […]

Agargun A.G. & Fletcher C.R. (1997). The Fundamental Theorem of Arithmetic Dissected, The Mathematical Gazette, 81 (490) 53-57. DOI: http://dx.doi.org/10.2307/3618768

Crandall R. & Pomerance C.B. (2005). Primes!, Prime Numbers, Prime numbers: a computational perspective 1-82. DOI: http://dx.doi.org/10.1007/0-387-28979-8_1

Caldwell C.K. & Xiong Y. (2012). What is the smallest prime?, Journal of Integer Sequences, 15 arXiv: 1209.2007v2

Citation

+

Winifred Edgerton Merrill fu la prima americana ad ottenere un dottorato in matematica presso la Columbia University nel 1886. Nella sua tesi sviluppò una rappresentazione geometrica degli infinitesimi in diversi sistemi di coordinate, utilizzando lo jacobiano per per derivare le trasformazioni tra gli integrali nei diversi sistemi.Tra matematica e astronomiaNata a Ripon, nel Wisconsin, il 24 settembre del 1862 da Emmet e Clara Edgerton, si trasferisce con la famiglia a New York intorno al […]

Kelly S.E. & Rozner S.A. (2012). Winifred Edgerton Merrill: "She Opened the Door", Notices of the American Mathematical Society, 59 (04) 504-512. DOI: http://dx.doi.org/10.1090/noti818

Citation

+

Winifred Edgerton Merrill fu la prima americana ad ottenere un dottorato in matematica presso la Columbia University nel 1886. Nella sua tesi sviluppò una rappresentazione geometrica degli infinitesimi in diversi sistemi di coordinate, utilizzando lo jacobiano per per derivare le trasformazioni tra gli integrali nei diversi sistemi.Tra matematica e astronomiaNata a Ripon, nel Wisconsin, il 24 settembre del 1862 da Emmet e Clara Edgerton, si trasferisce con la famiglia a New York intorno al […]

Kelly S.E. & Rozner S.A. (2012). Winifred Edgerton Merrill: "She Opened the Door", Notices of the American Mathematical Society, 59 (04) 504-512. DOI: http://dx.doi.org/10.1090/noti818

Citation

+

Direi che oggi pomeriggio è stato un bel respirare, al Palazzo Brera. Cristina Lazzeroni dell'Università di Birmingham è venuta alle 18 (come avevo scritto nel post precedente) per raccontare del bosone di Higgs, del modello standard e di materia e antimateria. E' una sperimentale presso l'esperimento LHCb al CERN, l'esperimento dedicato proprio alla ricerca su uno dei grandi misteri dell'universo: perché in esso c'è un eccesso di materia (e d'altra parte se non fosse così, non ci sarebbe […]

Aaij R., B. Adeva, M. Adinolfi, C. Adrover, A. Affolder, Z. Ajaltouni, J. Albrecht, F. Alessio, M. Alexander & S. Ali & (2013). First Observation of CP Violation in the Decays of B_{s}^{0} Mesons, Physical Review Letters, 110 (22) DOI: http://dx.doi.org/10.1103/physrevlett.110.221601

Citation

+

Per i I cieli di Brera, il 24 settembre (domani... scusate per il ritardo nell'annuncio...) alle 18 presso la Sala delle Adunanze dell'Istituto Lombardo nel Palazzo Brera sito in via Brera 28 (Milano), si terrà la conferenza La fisica delle particelle e il Large Hadron Collider: recenti sviluppi e questioni aperte: Cristina Lazzeroni ci introdurrà alla fisica delle particelle e agli studi fatti al Large Hadron Collider del Cern di Ginevra mettendo l’accento su recenti sviluppi come la
[…]

Aad G., J. Abdallah, S. Abdel Khalek, O. Abdinov, R. Aben, B. Abi, S. H. Abidi, M. Abolins, O. S. AbouZeid & H. Abramowicz & (2014). Measurement of the Higgs boson mass from the $H\to \gamma \gamma $ and $H\to Z{Z}^{*}\to 4\ell $ channels in $pp$ collisions at center-of-mass energies of 7 and 8 TeV with the ATLAS detector, Physical Review D, 90 (5) DOI: http://dx.doi.org/10.1103/physrevd.90.052004

Citation

michiexile tweeted: @michiexile

No. No. No. #BanachTarski is NOT about ∞+∞=∞. It’s much more interesting than that.

2015-05-23 14:34:48

michiexile tweeted: @michiexile

Banach-Tarski shows us a border, and puts up a sign «HERE BE DRAGONS». http://t.co/MVyb78SG8W
(kinda proud of my pop. mathematics there)

2015-05-23 14:32:38

ulaulaman tweeted: @ulaulaman

#EiredNextFest: I gattini e Gianni Morandi salvano internet - cit. dal palco

2015-05-23 14:25:57

rmathematicus tweeted: @rmathematicus

2015-05-23 14:15:45

rmathematicus tweeted: @rmathematicus

RT @ChemHeritage: Our museum is #ClosedInPHL today through Monday, May 25 in observance of Memorial Day. Have a great weekend!

2015-05-23 14:09:21

rmathematicus tweeted: @rmathematicus

2015-05-23 14:06:39

MindAfterMath tweeted: @MindAfterMath

2015-05-23 14:04:29

rmathematicus tweeted: @rmathematicus

2015-05-23 14:02:38

X