X

Posts

July 24, 2014

+
1:50 AM | Large cardinals need not be large in HOD
[bibtex key=ChengFriedmanHamkins:LargeCardinalsNeedNotBeLargeInHOD] Continue reading →

July 23, 2014

+
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 […]
+
12:30 PM | 7/23/14
7 = (2 * 3) + 1^4 Also: 7 = 2 + 3 + (1 * √4)
+
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 →

July 22, 2014

+
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 & […]
+
2:01 PM | Lambda calculus and the fixed point combinator in chemlambda (VI)
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 […]
+
1:27 PM | “How Might Quantum Information Transform Our Future?”
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 […]
+
12:30 PM | 7/22/14
7 = 2 + 2 - 1 + 4 Also: 7 = 2 + 2 + 1 + √4
+
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)

July 21, 2014

+
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 ...
+
5:41 AM | Variants of the Selberg sieve, and bounded intervals containing many primes
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 […]

July 20, 2014

+
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 →
+
7:11 PM | I am going to rewrite my research monograph
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
+
5:16 PM | Lambda calculus and the fixed point combinator in chemlambda (V)
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 →
123456789
6,914 Results