X

+

1:50 AM | Large cardinals need not be large in HOD

[bibtex key=ChengFriedmanHamkins:LargeCardinalsNeedNotBeLargeInHOD] Continue reading →

+

10:14 PM | ABC in Sydney [guest post #2]

[Here is a second guest post on the ABC in Sydney workshop, written by Chris Drovandi] First up Dennis Prangle presented his recent work on “Lazy ABC”, which can speed up ABC by potentially abandoning model simulations early that do not look promising. Dennis introduces a continuation probability to ensure that the target distribution of […]

+

3:19 AM | The human factor

A recent Telegraph article suggests that “females, as a whole, are not hugely engaged by science.” Emphasis mine: The problem with science is that, for all its wonders, it lacks narrative and story-line. Science (and maths) is about facts, and … Continue reading →

+

11:33 PM | Dilatations

This is a follow up of Example wanted. There I ask for two examples. Firstly, I ask for a Noetherian local domain A such that its completion A* has an isolated singularity and such that Spec(A) does not have a … Continue reading →

+

10:14 PM | Cancún, ISBA 2014 [day #3]

…already Thursday, our [early] departure day!, with an nth (!) non-parametric session that saw [the newly elected ISBA Fellow!] Judith Rousseau present an ongoing work with Chris Holmes on the convergence or non-convergence conditions for a Bayes factor of a non-parametric hypothesis against another non-parametric. I wondered at the applicability of this test as the […]

+

8:26 PM | Proof assistants and the next decade

It is quite interesting to look, if only casually, at the two trends that are emerging regarding proof assistants: 1) the “natural language” trend: one finds there the work of Ganesalingam & Gowers (which, so far, uses full first-order logic and deals with metric spaces), but also the interesting work of Stovanovic, Narboux, Bezem & […]

+

This is the 6th (continuing from part I and part II and part III and part IV and part V) in a series of expository posts where we put together in one place the pieces from various places about: how is treated lambda calculus in chemlambda how it works, with special emphasis on the […]

+

So, the Templeton Foundation invited me to write a 1500-word essay on the above question. It’s like a blog post, except they pay me to do it! My essay is now live, here. I hope you enjoy my attempt at techno-futurist prose. You can comment on the essay either here or over at Templeton’s site. Thanks […]

+

6:12 AM | A noncommutative moduli space

Supernatural numbers also appear in noncommutative geometry via James Glimm’s characterisation of a class of simple $C^*$-algebras, the UHF-algebras. A uniformly hyperfine (or, UHF) algebra $A$ is a $C^*$-algebra that can be written as the closure, in the norm topology, of an increasing union of finite-dimensional full matrix algebras $M_{c_1}(\mathbb{C}) \subset M_{c_2}(\mathbb{C}) \subset … \quad ...

+

4:50 AM | Shifts In Algorithm Design

How to find approximate page rank fast, among other things Jennifer Chayes is the current director of a research lab in Cambridge—that is Cambridge Massachusetts—for a company called Microsoft. She is famous for her own work in many areas of theory, including phase transitions of complex systems. She is also famous for her ability to […]

+

2:41 AM | http://alexyar.tumblr.com/post/92488801527/so-apparently-im-going-to-introductory-workshop

http://alexyar.tumblr.com/post/92488801527/so-apparently-im-going-to-introductory-workshop: alexyar:
So apparently I’m going to “Introductory Workshop: Geometric Representation Theory” for some mysterious reason*, but I have absolutely no idea what geometric representation theory is, so does anyone know a good introductory reference?
————-
* Two reasons, actually: first, MSRI is probably…
Just randomly, John Baez is fun and usually writes about stuff as he’s learning it,
[…]

+

12:09 AM | Oh, Good!

Rezk uses the right words
(that’s a pdf link. I hope your browser knows how to direct your pdf viewer to the right page)

+

11:03 PM | Pullbacks That Preserve Weak Equivalences

On morphisms pullback along which preserves weak equivalences, and their name(s).

+

10:14 PM | Off from Cancun [los scientificos Maya]

The flight back from ISBA 2014 was not as smooth as the flight in: it took one hour for the shuttle to take us to the airport thanks to a driver posing as a touristic guide [who needs a guide when going home?!] and droning on and on about Cancún and the Maya heritage [as […]

+

8:21 PM | Thoughts on QED+20

The potential of the comprehensive formalization of mathematics has fascinated me for quite some time - even though I am a working mathematician whose research is not part of the area conventionally known as “formal methods”. Last week, I took the opportunity to attend the QED+20 workshop which was part of the Vienna Summer of Logic and which celebrates anniversary of the original QED workshops and manifesto.
20 years ago, the QED project set out to create “a computer system that
[…]

+

5:51 PM | The NSA, NIST and the AMS

Among the many disturbing aspects of the behavior of the NSA revealed by the Snowden documents, the most controversial one directly relevant to mathematicians was the story of the NSA’s involvement in a flawed NIST cryptography standard (for more see … Continue reading →

+

5:11 PM | A few new papers

I’ve just updated my web page with links to some new papers that are now available: 1. “Homotopical Patch Theory” by Carlo Angiuli, Ed Morehouse, Dan Licata, and Robert Harper. To appear, ICFP, Gothenburg, October 2014. We’ve also prepared a slightly expanded version with a new appendix containing material that didn’t make the cut for […]

+

12:30 PM | 7/21/14

7 = 2 + 1 + (1 * 4)
7 - 2 = (1 * 1) + 4
Also:
7 = 21 - 14
Also:
First three multiples of 7 (not in order)

+

12:04 PM | Associativity vs. Distributivity

A binary operation is associative is . Examples of associative operations include addition, multiplication, connect-sum, disjoint union, and composition of maps. A binary operation is distributive over another operation if . If then the operation is said to be self-distributive. Examples of self-distributive operations include conjugation , conditioning (assume X and Y are both Gaussian […]

+

9:55 AM | The origins of HoTT

Below, a great G+-post by Allen Knutson, pointing to a talk given by Voevodsky in which he explains why some errors (by himself and others) convinced him that mathematics needed a new foundation. In his talk Univalent Foundations Voevodsky recalls how it all started with him and Kapranov trying to develop a mathematics of new ...

+

I’ve just uploaded to the arXiv the D.H.J. Polymath paper “Variants of the Selberg sieve, and bounded intervals containing many primes“, which is the second paper to be produced from the Polymath8 project (the first one being discussed here). We’ll refer to this latter paper here as the Polymath8b paper, and the former as the […]

+

2:36 AM | Math Acceleration vs Enrichment

A while back I was asked a question about student acceleration and differentiation. The question related to different types of acceleration opportunities for students that master math content before others. This question is often at the heart of differentiation for high achieving students. I thought awhile about the question and started to brainstorm what opportunities truly exist […]

+

8:24 PM | I premi Turing: Edsger Dijkstra

Siete i soddisfatti possessori di un'auto sportiva fiammante con l'ultimo modello di navigatore satellitare touchscreen a bordo? Non vi separereste mai dal vostro smartphone e in particolare dall'app di navigazione, che ormai usate anche per percorrere strade ormai ben conosciute? Prima di intraprendere un viaggio qualsiasi, consultate sempre Google Maps e date un'occhiata al luogo di destinazione utilizzando Street View? Be', se è così, sappiate che la persona che dovete ringraziare più di […]

+

8:23 PM | Bibliography + references

As I’ve said before I want to add more outside references everywhere locally in the Stacks project. Here is a way you can help: follow this link to find a listing of all results in the Stacks project whose LaTeX … Continue reading →

+

When my book was already sent to a publisher, I decided to rewrite it. Here is my rewriting plan (what I am going to change in the book).

+

6:20 PM | Gallo Zinfandel

Filed under: Kids, Wines Tagged: California, Californian wine, Gallo vineyards, zinfandel

+

This is the 5th (continuing from part I and part II and part III and part IV) in a series of expository posts where we put together in one place the pieces from various places about: how is treated lambda calculus in chemlambda how it works, with special emphasis on the fixed point combinator. […]

+

3:17 PM | Reading the sub(linear )text

Physicists are not known for finesse. “Even if it cost us our funding,” I’ve heard a physicist declare, “we’d tell you what we think.” Little wonder I irked the porter who directed me toward central Cambridge. The University of Cambridge … Continue reading →

Sidebar

Filters

+

via @CERN http://t.co/9Rac42mBVh #CPviolation #CPsymmetry #matter #antimatter The CP violation is a violation of the CP-symmetry, a combination between the charge conjugation symmetry (C) and the parity symmetry (P). CP-symmetry states that the laws of physics should be the same if a particle is interchanged with its antiparticle, and then its spatial coordinates are inverted.The CP violation is discovered in 1964 by Christenson, Cronin, Fitch, and Turlay (Cronin and Fitch awarded the Nobel […]

Christenson, J., Cronin, J., Fitch, V. & Turlay, R. (1964). Evidence for the 2π Decay of the K_{2}^{0} Meson, Physical Review Letters, 13 (4) 138-140. DOI: 10.1103/PhysRevLett.13.138

Citation

+

by @ulaulaman http://t.co/Q3AODpvKAs #Godel #ontologicalproof #god #computer The ontological arguments for the existence of God was introduced for the first time by St. Anselm in 1078: God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist.There are a lot of phylosophies, mathematics and logicians that proposed their ontological […]

Christoph Benzmüller & Bruno Woltzenlogel Paleo (2013). Formalization, Mechanization and Automation of Gödel's Proof of God's Existence, arXiv: 1308.4526v4

Citation

+

\[(n+1)^3 - n^3 \equiv 1 \mod 6\] Claudi Alsina,, Roger Nelsen,, & Hasan Unal (2014). Proof Without Words: The Difference of Consecutive Integer Cubes Is Congruent to 1 Modulo 6 The College Mathematics Journal, 45 (2), 135-135 DOI: 10.4169/college.math.j.45.2.135 (facebook)

Claudi Alsina,, Roger Nelsen, & Hasan Unal (2014). Proof Without Words: The Difference of Consecutive Integer Cubes Is Congruent to 1 Modulo 6, The College Mathematics Journal, 45 (2) 135-135. DOI: 10.4169/college.math.j.45.2.135

Citation

+

\[(n+1)^3 - n^3 \equiv 1 \mod 6\] Claudi Alsina,, Roger Nelsen,, & Hasan Unal (2014). Proof Without Words: The Difference of Consecutive Integer Cubes Is Congruent to 1 Modulo 6 The College Mathematics Journal, 45 (2), 135-135 DOI: 10.4169/college.math.j.45.2.135 (facebook)...
Claudi Alsina,, Roger Nelsen,, & Hasan Unal. (2014) Proof Without Words: The Difference of Consecutive Integer Cubes Is Congruent to 1 Modulo 6. The College Mathematics Journal, 45(2), 135-135.
[…]

Claudi Alsina,, Roger Nelsen, & Hasan Unal (2014). Proof Without Words: The Difference of Consecutive Integer Cubes Is Congruent to 1 Modulo 6, The College Mathematics Journal, 45 (2) 135-135. DOI: 10.4169/college.math.j.45.2.135

Citation

+

La settimana scorsa, su twitter, ho diffuso alcune immagini, foto scattate dalle pagine dal volume Letture da Le Scienze: Fisica delle particelle (un indice del volume), che raccoglieva alcuni articoli usciti sulla rivista italiana (e quindi anche su Scientific American). Poiché ognuna di quelle immagini fa inevitabilmente parte della storia della fisica, mi sembra sensato proporle raccolte insieme in un unico post molto più semplicemente raggiungibile di tanti piccoli... cinguettii.
[…]

Weisskopf, V. (1968). The Three Spectroscopies, Scientific American, 218 (5) 15-29. DOI: 10.1038/scientificamerican0568-15

Barish, B. (1973). Experiments with Neutrino Beams, Scientific American, 229 (2) 30-38. DOI: 10.1038/scientificamerican0873-30

Treiman, S. (1959). The Weak Interactions, Scientific American, 200 (3) 72-84. DOI: 10.1038/scientificamerican0359-72

Cline D.B., Mann A.K. & Rubbia C. (1974). The Detection of Neutral Weak Currents, Scientific American, 231 (6) 108-119. DOI: 10.1038/scientificamerican1274-108

Glashow, S. (1975). Quarks with Color and Flavor, Scientific American, 233 (4) 38-50. DOI: 10.1038/scientificamerican1075-38

Nambu, Y. (1976). The Confinement of Quarks, Scientific American, 235 (5) 48-61. DOI: 10.1038/scientificamerican1176-48

Johnson, K. (1979). The Bag Model of Quark Confinement, Scientific American, 241 (1) 112-121. DOI: 10.1038/scientificamerican0779-112

Citation

JohnDCook tweeted: @JohnDCook

"Incentive is not fate." -- John C. Wright

2014-07-24 11:00:25

gaussianos tweeted: @gaussianos

Nombres matemáticos para empresas - #AntologíaGaussiana http://t.co/aEjY5TTaMz

2014-07-24 10:59:43

freakonometrics tweeted: @freakonometrics

[free ebook] " An Introduction to Data Science" https://t.co/yS1ZSQHYbj ht @lisachwinter

2014-07-24 10:58:11

freakonometrics tweeted: @freakonometrics

"Gaza : Les mots en guerre" http://t.co/WWGSuDxCGp ht @monachollet

2014-07-24 10:56:36

freakonometrics tweeted: @freakonometrics

"Ces nouveaux maires qui réintroduisent la voiture en ville" http://t.co/3S2ONXhkDj sans parler du prix des transports publics (délirant!)

2014-07-24 10:55:23

MindAfterMath tweeted: @MindAfterMath

2014-07-24 10:40:00

profkeithdevlin tweeted: @profkeithdevlin

RT @commentisfree: If you plan to avoid air travel due to MH17, let maths be your guide | @jamesrbuk http://t.co/0CjBYpI1MN via @guardian

2014-07-24 10:24:15

rmathematicus tweeted: @rmathematicus

RT @PastFashion: Where are all those Carnivalesque nominations? I know there are some amazing pre-modern blogs out there! http://t.co/9PUEq…

2014-07-24 10:22:28

X