Sign in

iiinova is part of the Atmosphere — an open, public network where you own your identity.

Noam Zeilberger

@noamzoam.mathstodon.xyz.ap.brid.gy
43 followers 4 following 49 posts

Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique. [bridged from mathstodon.xyz/@noamzoam on the fediverse by fed.brid.gy ]

PostsRepliesMedia
Reposted by Noam Zeilberger
Sophie Huiberts @sophie.huiberts.me · 12/10/2026
Too many people are calling on the community to "change how we value papers". Not enough people are posting "this is what we look for in our next hiring round".
59724 97
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 21/09/2026
Blas Jaime, the last known native speaker of the Chaná language, sadly passed away a few days ago at the age of 92. obituary (in Spanish): www.elonce.com/sociedad/murio-blas-… Wikipedia article on […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Reposted by Noam Zeilberger
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 11/09/2026
RE: mathstodon.xyz/@highergeometer/1172… So what's the takeaway from this? Never upload anything of value to the internet anymore? So many people in math over the last 30 years put so much time into writing amazing lecture notes and have been putting them on the internet […]
mathstodon.xyz
Original post on mathstodon.xyz
003 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 18/08/2026
Got around to listening to this episode of aboutlogic with Dana Scott, interviewed by Thorsten Altenkirch and Deniz Sarikaya: www.youtube.com/watch?v=opLbbZ-_AWE It is always a pleasure to hear Scott talking about intellectual history, he gives such a vivid and lucid account (even at […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Reposted by Noam Zeilberger
Greg Restall @consequently.hcommons.social.ap.brid.gy · 04/08/2026
I noticed that in the last day or so I’d got increased traffic to my rarely-visited personal site. Quite a few folks were reaching the home page, and a surprising number were landing on an old post of mine from 2004 about Haskell. Why on earth did _that_ happen? Well, on August 2, John […]
hcommons.social
Original post on hcommons.social
043 4
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 29/07/2026
I wrote an answer to a MathOverflow question, "Was a computational hardness argument ever used to solve a mathematical conjecture?", mentioning @tito's work on negatively resolving BV = pomset logic. mathoverflow.net/a/513714/1015
mathoverflow.net
Was a computational hardness argument ever used to solve a mathematical conjecture?
Let $P$ be a property of positive integers. Suppose that $P(n)$ can be decided in finite time, but all known algorithms take a long time. Based on experiments done so far, it is conjectured that $P...
010 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 14/07/2026
Today I had the opportunity to give a talk at CT 2026 (ct2026.com) about our paper with Bryce Clarke and Gabriel Scherer on "The free bifibration on a functor" (arxiv.org/abs/2511.07314). Here are the slides […] [Original post on mathstodon.xyz]
slide: 23/33
caption: the three order-preserving maps 2 -> 2 and corresponding focused stacksslide: 29/33
caption: exhaustive enumeration of morphisms S => T as maximally multifocused stacksslide: 28/33
caption: plane tree morphism as maximally multifocused stackslide: 31/33
caption: a morphism in Bif(i, Δepi, Δmono) and the corresponding refinement of NCPs
010 1
Reposted by Noam Zeilberger
James Grimmelmann @jtlg.bsky.social · 19/05/2026
It was fun talking about generative AI and legal interpretation tonight at Pint of Science. Here are my slides: james.grimmelmann.net/talks/2026-0...
082 8
Reposted by Noam Zeilberger
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/03/2026
I wrote a letter to Knuth asking about this, and he wrote back!
From: Maggie McLoughlin <mam@CS.Stanford.EDU>
To: noam.zeilberger@polytechnique.edu
Subject: from Prof Knuth re your letter of 11 Feb 20256
Reply-to: knuth-bug@cs.stanford.edu
Date: Fri, 27 Feb 2026 13:10:27 -0800

Hi Noam. [Are you any relation to my friend Doron?]

Many thanks for your flattering letter. I fear that you have an
exaggerated view of my competence; yet of course I'm delighted to
know that somebody understands what I was trying to say.

I'd forgotten about deleting those paragraphs from the original
preface to Volume 1. In the desk copy of the 33rd printing of the
second edition, I'd marked only one change (besides additions
to the list of abbreviations for commonly cited journals):
  pure mathematical problems historically have always developed from
   ->  pure mathematical problems almost always owe their origins to
[Probably that change went into one of the published errata.]

Evidently in 1997, after Silvio Levy had presented me with TeX
versions of the various parts of Volume 1 so that I could finally
make a third edition, I edited the preface by first adding a paragraph
(apologizing for being forced to leave things out because CS
had been growing so rapidly). Naturally I also then looked for
parts of the preface that no longer needed to be said. And I
guess I'd come to the conclusion that mathematicians had by then
come to understand the material that you've quoted from the
earlier prefaces.About Ulam's article: I don't actually recall reading any articles
in the September 1964 Scientific American except Martin Gardner's
column [which Martin intentionally made "as unmathematical as
possible" that month ... it's about puns and palindromes].
No doubt if I had time today, I'd find the articles by Courant,
Davis, Kline, Sawyer, Kac, Quine, Dyson, Bellman, and Ulam quite
inspiring. [wow, what a collection of great expositors and thinkers!]

I wouldn't have written many of the sentences of Ulam that you
quoted. ("It is preferable to regard the computer as a handy
device for manipulating and displaying symbols.") An interesting
thought, but it's never entered my head.

I met Stan (and visited his Sante De home) in 1976, and we got along
great. He's wonderfully creative, and by now I've read many of his
books and papers.

I think the main other person who influenced my original preface,
besides my mentor de Bruijn (a frequent visitor to Caltech), was
George Forsythe. You can get an idea of the ideas that I thank
him for the most by looking at the bio that I wrote in CACM when
he died suddenly in 1972.

Cordially, Don Knuth

PS You say you're "eagerly looking forward to reading Volumes
5 and 6". But I'm currently in the midst of 4C, and that will by
no means be the end of Volume 4...
010 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/03/2026
I wrote a letter to Knuth asking about this, and he wrote back!
From: Maggie McLoughlin <mam@CS.Stanford.EDU>
To: noam.zeilberger@polytechnique.edu
Subject: from Prof Knuth re your letter of 11 Feb 20256
Reply-to: knuth-bug@cs.stanford.edu
Date: Fri, 27 Feb 2026 13:10:27 -0800

Hi Noam. [Are you any relation to my friend Doron?]

Many thanks for your flattering letter. I fear that you have an
exaggerated view of my competence; yet of course I'm delighted to
know that somebody understands what I was trying to say.

I'd forgotten about deleting those paragraphs from the original
preface to Volume 1. In the desk copy of the 33rd printing of the
second edition, I'd marked only one change (besides additions
to the list of abbreviations for commonly cited journals):
  pure mathematical problems historically have always developed from
   ->  pure mathematical problems almost always owe their origins to
[Probably that change went into one of the published errata.]

Evidently in 1997, after Silvio Levy had presented me with TeX
versions of the various parts of Volume 1 so that I could finally
make a third edition, I edited the preface by first adding a paragraph
(apologizing for being forced to leave things out because CS
had been growing so rapidly). Naturally I also then looked for
parts of the preface that no longer needed to be said. And I
guess I'd come to the conclusion that mathematicians had by then
come to understand the material that you've quoted from the
earlier prefaces.About Ulam's article: I don't actually recall reading any articles
in the September 1964 Scientific American except Martin Gardner's
column [which Martin intentionally made "as unmathematical as
possible" that month ... it's about puns and palindromes].
No doubt if I had time today, I'd find the articles by Courant,
Davis, Kline, Sawyer, Kac, Quine, Dyson, Bellman, and Ulam quite
inspiring. [wow, what a collection of great expositors and thinkers!]

I wouldn't have written many of the sentences of Ulam that you
quoted. ("It is preferable to regard the computer as a handy
device for manipulating and displaying symbols.") An interesting
thought, but it's never entered my head.

I met Stan (and visited his Sante De home) in 1976, and we got along
great. He's wonderfully creative, and by now I've read many of his
books and papers.

I think the main other person who influenced my original preface,
besides my mentor de Bruijn (a frequent visitor to Caltech), was
George Forsythe. You can get an idea of the ideas that I thank
him for the most by looking at the bio that I wrote in CACM when
he died suddenly in 1972.

Cordially, Don Knuth

PS You say you're "eagerly looking forward to reading Volumes
5 and 6". But I'm currently in the midst of 4C, and that will by
no means be the end of Volume 4...
010 1
Reposted by Noam Zeilberger
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 21/02/2026
Very interesting, and characteristically careful and hype-free, from Daniel Litt on how good current AI models really are or aren't at mathematical research. (He cautiously decides that they're probably a bit better than he thought.) […]
mathstodon.xyz
Original post on mathstodon.xyz
131 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 20/02/2026
@julesh oops, yes you are right! (Set,+) is an ordinary co-multicategory (the representable co-multicategory of the underlying monoidal category), so the problem only arises from the combination with (Set,x), i.e., the not-quite-linearly distributive structure that you point out.
100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 20/02/2026
@julesh this bigger class are related to so-called "premulticategories" as considered by Sam Staton and Paul Levy in "Universal Properties of Impure Programming Languages" (doi.org/10.1145/2429069.2429091). Basically, premulticategories are what you get by starting from the […]
mathstodon.xyz
Original post on mathstodon.xyz
101 1
Reposted by Noam Zeilberger
Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 13/02/2026
With apologies for the delay, the recordings of the talks at the Types and Topology Workshop in celebration of @MartinEscardo's 60th birthday (tdejong.com/mhe60) are now on YouTube (where available) 📺 www.youtube.com/@mhe60/videos (also linked from the workshop webpage) Many […]
mathstodon.xyz
Original post on mathstodon.xyz
053 5
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 12/02/2026
The arXiv's new "make everyone write in English to promote linguistic diversity" policy went into effect yesterday (blog.arxiv.org/2026/01/13/non-engli…), and they have now released a feedback survey […]
mathstodon.xyz
Original post on mathstodon.xyz
026 6
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/02/2026
@joey here's a link to Ryoma's homepage www.math.akita-u.ac.jp/~ryoma, in particular my counterexample was inspired by the construction used in Theorem 23 of this paper: arxiv.org/abs/2008.01413. But looking again at your original post, I think the argument you gave works as an […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/02/2026
@joey (this example is inspired by Ryoma Sinya's work on approximation of languages by regular languages.)
100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 10/02/2026
@joey indeed I think not, the forgetful functor from REG to Lang does not have a left adjoint. It should be possible to construct a counterexample using the fact that the non-regular language L = {0^n 1^n|n} is the intersection of the infinite family of regular languages Rk = {0^n 1^m | m=n mod […]
mathstodon.xyz
Original post on mathstodon.xyz
100 1
Reposted by Noam Zeilberger
Open Access Tracking Project @oatp.fediscience.org.ap.brid.gy · 09/02/2026
The CNRS is breaking free from the Web of Science | CNRS www.cnrs.fr/en/update/cnrs-breaking…
cnrs.fr
The CNRS is breaking free from the Web of Science
From January 1st 2026, the CNRS will cut access to one of the largest commercial bibliometric databases, Clarivate Analytics'
045 5
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 06/02/2026
[knuth, ulam, computers + math] I just checked and the original preface with these two paragraphs still appears in the second edition of Volume 1. On Knuth's TAOCP page [www-cs-faculty.stanford.edu/~knuth/…] in the "Errata for Volume 1 (2nd ed.)" he mentions that "In the third […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/02/2026
[knuth, ulam, computers + math] Here is the opening of Ulam's article: > Although to many people the electronic computer has come to symbolize the importance of mathematics in the modern world, few professional mathematicians are closely acquainted with the machine. Some, in fact, seem even to […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/02/2026
[knuth, ulam, computers + math] Possibly the reason that neither paragraph is cited more often is that they were both eventually removed -- at least, they do not appear in the preface to the 3rd edition of Volume 1. I am not sure why, or whether they were still there in the 2nd edition. The […]
mathstodon.xyz
Original post on mathstodon.xyz
200 2
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/02/2026
[knuth, ulam, computers + math] > I wish to show that the connection between computers and mathematics is far deeper and more intimate than these traditional relationships would imply. The construction of a computer program from a set of basic instructions is very similar to the construction of […]
mathstodon.xyz
Original post on mathstodon.xyz
101 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/02/2026
[knuth, ulam, computers + math] While looking for some sources to help motivate the study of computer programming to very young undergraduate students, I ended up reading the preface to Volume 1 of Knuth's _The Art of Computer Programming_ -- in an electronic copy of the Second Printing from […]
mathstodon.xyz
Original post on mathstodon.xyz
211 2
Reposted by Noam Zeilberger
ploum @ploum.mamot.fr.ap.brid.gy · 19/01/2026
Giving University Exams in the Age of Chatbots How I managed to give an exam while giving the students the choice to use a chatbot or not. And what I learned in the process. ploum.net/2026-01-19-exam-with-chat…
ploum.net
Giving University Exams in the Age of Chatbots
Giving University Exams in the Age of Chatbots par Ploum - Lionel Dricot.
717118 118
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 15/01/2026
RE: mastoxiv.page/@arXiv_mathCT_bot/115… Another article uploaded to the arXiv (technically, being updated) in a non-English language, making me think about how this policy change will soon go into effect […]
mathstodon.xyz
Original post on mathstodon.xyz
003 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 02/01/2026
RE: mathstodon.xyz/@slava/1158226310933… I for one am eagerly looking forward to Volume 5 of The Art of Computer Programming, on "Lexical scanning" and "Parsing techniques". Hopefully Knuth will get around to finishing it in the next couple years, before he's 90! […]
mathstodon.xyz
Original post on mathstodon.xyz
110 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025
@robinhouston So you can distinguish Q(M) from Q(M*) by viewing it as being equipped with a 2-coloring and not just being 2-colorable. In map enumeration people usually consider rooted maps. I believe that Q defines a bijection between half-edge rooted general maps and corner-rooted bipartite […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025
@robinhouston about the question of whether it defines a bijection, you're right that a map M and the dual map M* have essentially the same incidence/radial map, but here is the precise statement of from Schaeffer's article: "The mapping Q and R are bijections from maps with n edges respectively […]
mathstodon.xyz
Original post on mathstodon.xyz
200 2
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025
@robinhouston note that M*, Q(M), and R(M) are defined in a uniform way for maps on arbitrary surfaces, not just on the sphere.
100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025
@robinhouston Gilles Schaeffer calls it the "incidence map" Q(M) of a map M in www.lix.polytechnique.fr/~schaeffe/…, but yes, I think it is essentially the same thing as what you call the radial graph. Here is a figure from his article.
Figure from Gilles Schaeffer's chapter on "Planar maps" in the CRC Handbook of enumerative combinatorics. It shows a planar map M, the dual map M*, the incidence map Q(M) (a quadrangulation), and the edge map R(M) (a 4-valent map).
100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025
@robinhouston oh, now I see what you mean but that's hard for me to visualize. Could you draw a picture?
100 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025
@robinhouston (corresponding OEIS entry: oeis.org/A007137)
oeis.org
A007137 - OEIS
000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 19/12/2025
@robinhouston just to clarify, in one place you wrote "non-bipartite" and in another "bipartite" -- which is it? I suppose you mean bipartite in the standard sense, i.e., admitting a proper 2-coloring of the vertices? And what sizes are you looking at to do exhaustive enumeration? This paper ( […]
mathstodon.xyz
Original post on mathstodon.xyz
300 3
Reposted by Noam Zeilberger
Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 18/12/2025
The slides for Types and Topology (tdejong.com/mhe60) are all up on the website now (where available)! @MartinEscardo
tdejong.com
Types and Topology: A workshop in honour of Martín Escardó's 60th birthday
123 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 12/12/2025
I just spent a fun few days in Glasgow, where I was in town for Malin Altenmüller's (maltenmuller.github.io) successful viva at Strathclyde! I really enjoyed Malin's thesis work and it's always a pleasure to visit the @mspstrath.
maltenmuller.github.io
Malin Altenmüller
002 2
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 05/12/2025
Une autre époque
Book cover "Programmes d'intelligence artificielle en BASIC"Title page, "Programmes d'intelligence artificielle en BASIC" by Marie Gaëlle MONTEIL and Richard SCHOMBERG, 1985A glance at the table of contents, including chapter sections such as "Les Tours de Hanoï" and a chapter on Tic-Tac-ToeBASIC code for towers of Hanoi
000 0
Reposted by Noam Zeilberger
soaproot @soaproot.sfba.social.ap.brid.gy · 03/12/2025
@noamzoam The blog post is a delightful read. True the policy change took longer than it should have, but it is a story of perseverance and eventual success (and some great stories of how mathematicians were able to balance career and family).
001 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 03/12/2025
RE: social.sciences.re/@pyviv/115655070… I did not realize that CIRM had a "no babies" policy until as recently as 2015. Thankfully, this has changed. Viviane Pons describes the process in this blog post (in English).
social.sciences.re
101 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 27/11/2025
[teaching / functional programming project / Lambek calculus / new AI vs old AI] Every year in my functional programming course I assign a mini-project for students to complete in small groups, as a significant portion of their course grade. The topic varies […] [Original post on mathstodon.xyz]
sample Lambek / Montague style lexicon from the project description page.sample Lambek calculus derivation from the project description page.
010 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 26/11/2025
@dpiponi topological recursion is also something I've wanted to understand for a while (because I know that it has lots of connections to map enumeration, and hence should have links to lambda calculus!), but the physics math has always been impenetrable to me. I like this summary, it is much […]
mathstodon.xyz
Original post on mathstodon.xyz
110 1
Reposted by Noam Zeilberger
Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 24/10/2025
@MartinEscardo is turning 60 this year! In celebration, Eric Finster and I are organizing a two-day workshop on 17-18 December 2025 at the University of Birmingham. tdejong.com/mhe60 The full list of over 20 invited speakers can be found on the website and reflects Martín's diverse […]
mathstodon.xyz
Original post on mathstodon.xyz
011 1
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 17/10/2025
Are you a PhD student registered in a US institution and interested in conducting part of your doctoral research (4-9 months) in France? Then consider applying for a Chateaubriand Fellowship! chateaubriand-fellowship.org
chateaubriand-fellowship.org
Chateaubriand Fellowship
1210 10
Reposted by Noam Zeilberger
Timothy Gowers @wtgowers.mathstodon.xyz.ap.brid.gy · 01/10/2025
I've just realized that I missed a trick by not posting here on Mastodon about a project to create a database of "motivated proofs", which has received funding from the AI for Math Fund, a joint venture of Renaissance Philanthropies and XTX Markets. Very roughly, that means not just proofs but […]
mathstodon.xyz
Original post on mathstodon.xyz
005 5
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 26/09/2025
(the issue also contains some mildly amusing and cringey advertisements.)
2-page advertisement from October 1969 issue of CACM.  There is a hand holding a photo of a mainframe computer.  Title text "Take a close look at IBM's new computer. You might think we overdid it."  The ad includes the line "We built Model 195 so men can study things like they've never been studied before.", among other amusing and cringey lines.
000 0
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 26/09/2025
Visited the library of the Institut Henri Poincaré yesterday, and they had a small rack with free-for-taking copies of some old journals. Was delighted to find a copy of the issue of Communications of the ACM containing the original article on Hoare logic!
cover of Communications of the ACM, Volume 12, Number 10, October 1969, with the stamp of the library of the Institut Henri Poincarétable of contents of Communications of the ACM, Volume 12, Number 10, October 1969. There is a small blue line marked next to the article by C. A. R. Hoare, "An Axiomatic Basis for Computer Programming".Perspective view of first two pages of Hoare's "An Axiomatic Basis for Computer Programming".
131 3
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy · 22/09/2025
@andrejbauer definitely one of my favorites, but your comment brought to mind an entry in the encyclopedia appendix to Girard's Locus Solum, which I remembered as a backhanded compliment to Martin-Löf. Looking at it again I see that I was misremembering, and […] [Original post on mathstodon.xyz]
000 0