Paul Taylor
Paul_Taylor@mathstodon.xyz
<p>Independent research in categorical logic, constructive topology and a bit of history. Refuse to use American IT giants.</p>
Posts
-
Post #1961213
I found a great online resource in Ukraine: https://ouci.dntb.gov.ua/en/ There are lots of places where you can find where recent papers have been cited, but they&#39;re not much use before about 1980. This one told me about citations of the early 20th century papers on set theory that are part of my current historical study of the order-theoretic fixed point theorem. Слава Україні!
-
Post #1961211
www.paultaylor.eu/trans/ &quot;Old and New Proofs of the Order-Theoretic Fixed Point Theorem&quot; I have just posted a new version of this paper (which was advertised here on 30 December by Toucanlan). It was motivated primarily by my irritation with so-called proofs that recite stuff about successor and limit ordinals and conclude fixed points. Missing are what ordinal to use and the derivation of recursion from induction. It gives the complete proof of this using transfinite recur...
-
Post #1961202
Looking up to Archimedes. Siracusa, Sicily. He is holding a concave mirror to focus the Sun&#39;s rays on to the sails of Roman ships to set fire to them, holding back their invasion.
-
Post #1118690
I have been using email for 40 years. It used to work. As an (independent) academic researcher, I need to contact new people, primarily in universities, to ask questions. I refuse to use Google, Microsoft or the other American IT giants. But they are increasingly preventing refuseniks from sending email at all. I know what RFC, DNS, MX, SPF and DMARC mean. My email goes through small British companies with intelligent, friendly and helpful staff. mxtoolbox.com says that I must have DMARC t...