Search

In a famous paper, R. A. Gordon proved a dozen theorems using tagged partitions and Cousin's theorem. Recently, I gave simple proofs of extreme value theorem and intermediate value theorem using the key-lemma underlying Cousin's theorem. The purpose of this paper is to present some further applications of such a lemma., Comment: 4 pages, TeX, supplement to arXiv:2209.12682

The purpose of this paper is to present projective geometry in a synthetic, visual and intuitive style through the central notion of harmonicity which leads to harmonic curves. This presentation includes new results, unpublished proofs of some classic theorems and a slight reformulation of its axiomatics., Comment: The 11 figures are dynamic and can be viewed at: https://arquimedes.matem.unam.mx/harmonic curves/scenes.html

This paper presents geometric proofs for the irrationality of square roots of select integers, extending classical approaches. Building on known geometric methods for proving the irrationality of sqrt(2), the authors explore whether similar techniques can be applied to other non-square integers. They begin by reviewing well-known results, such as Euclid's proof for the irrationality of sqrt(2), and discuss subsequent geometric extensions for sqrt(3), sqrt(5), and sqrt(6). The authors then introduce new geometric constructions, particularly using hexagons, to prove the irrationality of sqrt(6). Furthermore, the paper investigates the limitations and challenges of extending these geometric methods to triangular numbers. Through detailed geometric reasoning, the authors successfully generalize the approach to several square-free numbers and identify cases where the method breaks down. The paper concludes by inviting further exploration of geometric irrationality proofs for other integers, proposing potential avenues for future work., Comment: 11 pages, 8 figures

We present several ruler and compass practical geometric constructions that can be performed in the lemniscate curve. To be precise, we provide recipes for halving, doubling, adding, subtracting, and transferring lemniscate arcs with ruler and compass. This note complements the instructions for the lemnatomic equilateral triangle and pentagon discussed in \cite{GoLa}, giving the details for the construction of the lemnatomic regular $17$-gon.

In this survey we motivate studies of the invariants from the title. A graph drawing in the plane is called an almost embedding if the images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. We introduce integer invariants of almost embeddings: winding number, cyclic and triodic Wu numbers. We prove some relations between the invariants. We demonstrate connection of these relations to homology of the deleted product of a graph. We construct almost embeddings realizing some values of these invariants. This paper is accessible to mathematicians not specialized in the area (and to students). All the necessary definitions are recalled. We present some ideas of algebraic and geometric topology in a language accessible to non-topologists. However elementary, this paper is motivated by frontline of research; there are some conjectures and an open problem., Comment: 27 pages, many figures, in Russian. The paper belongs to math.AT because the invariants are special cases of the degree; to math.GT because the most closely related papers are 1805.10237 [math.GT], 2205.01013 [math.GT], and almost embeddings are studied in 2303.14503 (math.CO math.GT), 2008.02523 (math.GT math.AT), 1703.06305 (math.GT), 1904.02404 (math.AT math.GT), 2206.13486 (math.GT math.CO)

In this contribution we revisit a learning laboratory of graph theory, based on the well-known K\"onigsberg's bridges problem due to Euler, already proposed and described in Gaio-Capone-Branchetti (2020): we extend some of its conceptual aspects and laboratory activities, in particular by inserting a dance-inspired activity in order to explore the properties of Eulerian paths. In this new guise, the project was proposed and tested in the period 2022-2024 as an activity to strengthen the curricular skills of problem-solving. At the same time, it was an opportunity to think over the role of embodied activities in facilitating understanding and assimilation of abstract concepts of mathematics., Comment: language: italian - 29 pages - submitted to "Didattica della Matematica: Dalla ricerca alle pratiche d'aula"

The present document is a mathematical-literary fiction, commemorating the centenary of the death of Anatole France (April 16, 1844 - October 12, 1924) and which, at the same time, pays tribute to Nicolas Bourbaki and his "Godparents". Strange as it may seem, the connection between the great man of letters and the legendary mathematician is thought out through a famous satirical tale, where Anatole France's Putois has given way to Andr\'e Weil's Bourbaki ! The old philosophical question about the conditions of existence and modes of being is then raised again, to the extent of questioning the real mathematical meaning of what we used to symbolize by a backwards "E" ! -- Il s'agit d'une fiction math\'ematico-litt\'eraire, comm\'emorant le centenaire de la mort d'Anatole France (16 avril 1844 - 12 octobre 1924) et qui, par la m\^eme occasion, rend hommage \`a Nicolas Bourbaki et \`a ses "Godparents". Aussi \'etrange que cela puisse para\^itre, la mise en relation du grand homme de lettres avec le math\'ematicien l\'egendaire est pens\'ee \`a travers un c\'el\`ebre conte satirique, o\`u le personnage de Putois d'Anatole France a c\'ed\'e place \`a celui de Bourbaki d'Andr\'e Weil ! Ressurgit alors la vieille question philosophique sur les conditions de l'existence et les modes de l'\^etre, au point de se demander ce qu'est la signification math\'ematique r\'eelle de ce qu'on a eu l'habitude de symboliser par un "E" r\'efl\'echi !, Comment: in French

Practicing mathematicians often assume that mathematical claims, when they are true, have good reasons to be true. Such a state of affairs is "unreasonable", in Wigner's sense, because basic results in computational complexity suggest that there are a large number of theorems that have only exponentially-long proofs, and such proofs can not serve as good reasons for the truths of what they establish. Either mathematicians are adept at encountering only the reasonable truths, or what mathematicians take to be good reasons do not always lead to equivalently good proofs. Both resolutions raise new problems: either, how it is that we come to care about the reasonable truths before we have any inkling of how they might be proved, or why there should be good reasons, beyond those of deductive proof, for the truth of mathematical statements. Taking this dilemma seriously provides a new way to make sense of the unstable ontologies found in contemporary mathematics, and new ways to understand how non-human, but intelligent, systems might found new mathematics on inhuman "alien" lemmas., Comment: 7 pages, in review

This is a slightly edited translation of a paper in Dutch which appeared in Nieuw Archief voor Wiskunde (5) 25 (2024), No.2, 87-90 on the occasion of I.G. Macdonald's death in 2023, and aimed at a very broad mathematical audience. First we review some of Macdonald's most important older results. Then we focus on the period 1985-1995 when Macdonald often visited the Netherlands and there was much interaction between his work, notably the Macdonald polynomials, and the work by the authors. We end with some glimpses about Macdonald as a person., Comment: 9 pages, 4 photos

Michel Talagrand (Centre National de la Recherche Scientifique, France) has been awarded the prestigious Abel Prize for 2024 for his work in probability theory, functional analysis, and statistical physics. In this note, we introduce the Abel Prize Laureate and his main contributions., Comment: 12 pages

This paper is based on the author's talk at the Grothendieck conference at Chapman university on 26-05-2022. It is not a survey of anabelian geometry but rather exposes some of the personal views and experiences of the author with the topic., Comment: Chapter, to appear in the book : The Mathematical and Philosophical Legacy of Alexander Grothendieck

This is an English translation of G.N. Chebotarev's paper "On The Klein-Hilbert Resolvent Problem" which was originally written in Russian and published in Izvestiya Kazan. Fiz. Mat. Obshch., 6 (1932-1933), 5-22. In this article, Chebotarev addresses "Klein's resolvent problem"; in modern parlance, Chebotarev gives upper bounds on the essential dimension of finite simple groups via their representation theory., Comment: 23 pages

We present a method for incorporating a stochastic point of view into physics exercises of mathematics education. The core of our method is the randomization of some inputs, the system model used does not differ from what we would use in the deterministic approach. We consider exercises from the theory of projectile motion and statics. The outputs of stochastic models are random variables, and we usually determine their probability distributions, expected values, variances, and relative standard deviations, and the probabilities of some events related to them are also calculated. We primarily recommend our exercises to motivated high school students but first-year university students can also benefit from them., Comment: 34 pages

Based on explicit computations, various concepts of discrete time scattering theory are reviewed, discussed, and illustrated. The dynamics are taking place on a discrete half-space. All operators are represented graphically. The expressions obtained for the wave operators lead to an easily visualized interpretation of Wold's decomposition, a seminal result of operator theory. This work is clearly pedagogically oriented with the aim of providing explicit formulas and pictures for usually unexplicit operators., Comment: 15 pages

We survey the combinatorics of the Adinkra, a graphical device for solving differential equations in supersymmetry. These graphs represent an exceptional class of 1-factorizations with further augmentations. As a new feature, we characterize Adinkras using Latin rectangles., Comment: 19 pages, 11 figures

The boundary of a numerical range of a finite matrix is always a nice curve (algebraic, closed and simple), but the equation it satisfies is often very complicated. We will show that, furthermore, there is no hope of describing these curves in terms of distances from the eigenvalues -- as the dimension~2, where the numerical range is just an ellipse, would suggest. But, as we will show, there is a remarkably simple ``coval'' description in terms of distances to \textit{tangent lines}. Provided that one measures these distances not only to the eigenvalues but also to additional points, the most important of which are \textit{secondary values} -- which we will define and describe their algebraic and geometric properties.

We collect and discuss various results on an important family of knots and links called Turk's head knots and links $Th (p,q)$. In the mathematical literature, they also appear under different names such as rosette knots and links or weaving knots and links. Unless being the unknot or the alternating torus links $T(2,q)$, the Turk's head links $Th (p,q)$ are all known to be alternating, fibered, hyperbolic, invertible, non-split, periodic, and prime. The Turk's head links $Th (p,q)$ are also both positive and negative amphichiral if $p$ is chosen to be odd. Moreover, we highlight and present several more results, focusing on Turk's head knots $Th (3,q)$. We finally list several open problems and conjectures for Turk's head knots and links. We conclude with a short appendix on torus knots and links, which might be of independent interest., Comment: 35 pages, 10 figures and 1 table. Minor typos are fixed and more references are added

Signal Processing (SP) and Machine Learning (ML) rely on good math and coding knowledge, in particular, linear algebra, probability, and complex numbers. A good grasp of these relies on scalar algebra learned in middle school. The ability to understand and use scalar algebra well, in turn, relies on a good foundation in basic arithmetic. Because of various systemic barriers, many students are not able to build a strong foundation in arithmetic in elementary school. This leads them to struggle with algebra and everything after that. Since math learning is cumulative, the gap between those without a strong early foundation and everyone else keeps increasing over the school years and becomes difficult to fill in college. In this article we discuss how SP faculty and graduate students can play an important role in starting, and participating in, university-run (or other) out-of-school math support programs to supplement students' learning. Two example programs run by the authors (CyMath at ISU and Ab7G at Purdue) are briefly described. The second goal of this article is to use our perspective as SP, and engineering, educators who have seen the long-term impact of elementary school math teaching policies, to provide some simple almost zero cost suggestions that elementary schools could adopt to improve math learning: (i) more math practice in school, (ii) send small amounts of homework (individual work is critical in math), and (iii) parent awareness (math resources, need for early math foundation, clear in-school test information and sharing of feedback from the tests). In summary, good early math support (in school and through out-of-school programs) can help make SP and ML more accessible., Comment: Under submission to IEEE Signal Processing Magazine

One of the central topics in extremal graph theory is the study of the function $ex(n,H)$, which represents the maximum number of edges a graph with $n$ vertices can have while avoiding a fixed graph $H$ as a subgraph. Tur{\'a}n provided a complete characterization for the case when $H$ is a complete graph on $r$ vertices. Erd{\H o}s, Stone, and Simonovits extended Tur{\'a}n's result to arbitrary graphs $H$ with $\chi(H) > 2$ (chromatic number greater than 2). However, determining the asymptotics of $ex(n, H)$ for bipartite graphs $H$ remains a widely open problem. A classical example of this is Zarankiewicz's problem, which asks for the asymptotics of $ex(n, K_{t,t})$. In this paper, we survey Zarankiewicz's problem, with a focus on graphs that arise from geometry. Incidence geometry, in particular, can be viewed as a manifestation of Zarankiewicz's problem in geometrically defined graphs.

There have been several modifications of how basic calculus has been taught, but very few of these modifications have considered the computational tools available at our disposal. Here, we present a few tools that are easy to develop and use. Doing so also addresses a different way to view calculus, and attempts to fill the gaps in students' understanding of both differentiation and integration. We will describe the basics of both these topics in a way that might be much more useful and relevant to students, and hence possible ways in refining calculus pedagogy to make calculus more accessible to them. For integration, an elementary development of Gaussian quadrature using basic linear algebra is presented. This numerical method can be extended to integrate functions over various domains in higher dimensions, a subject that is not currently well covered in multivariable calculus or other Mathematics courses. We also briefly discuss series that may be more useful than some of those taught in current calculus courses., Comment: 9 pages

We visualize the identity p(n) = sum s(k) p(n-k)/n for the integer partition function p(n) involving the divisor function s, add comments on the history of visualizations of numbers, illustrate how different mathematical fields play together when proving lim p(n)^(1/n)=1 and introduce finite or infinite rings of partitions., Comment: 14 pages, 8 figures

This is an English translation of Euler's 1750 paper "De numeris amicabilibus" (E152), the most substantial of his three works with this name. In it, he expounds at great length the ad hoc methods he has developed to search for pairs of amicable numbers, concluding with a list of around 60 new pairs., Comment: 78 pages, including two appendices

Ce texte, \'ecrit pour la Gazette de la Soci\'et\'e math\'ematique de France, \'evoque les fonctions de type positif et leur histoire avant 1950 ; on y pr\'esente notamment des extraits de lettres \'ecrites par Roger Godement, qui leur consacra sa th\`ese en 1946. This is an expository paper on the early history of positive-definite functions, written for the "Gazette de la Soci\'et\'e Math\'ematique de France". It contains pictures of letters written by Roger Godement, during and after the preparation of his 1946 thesis about positive-definite functions on groups., Comment: 16 pages, in French, 9 figures with extracts of letters by Godement; to appear in the "Gazette de la Soc. Math. France"

It is a classical fact in Euclidean geometry that the regular polygon maximizes area amongst polygons of the same perimeter and number of sides, and the analogue of this in non-Euclidean geometries has long been a folklore result. In this note, we present a complete proof of this polygonal isoperimetric inequality in hyperbolic and spherical geometries., Comment: 8 pages, 6 figures

We present some similarities between Leibnizian and Robinsonian calculi, and address some objections raised by historians. The comparison with NSA facilitates our appreciation of some Leibnizian procedures that may otherwise seem obscure. We argue that Leibniz used genuine infinitesimals and infinite quantities which are not merely stenography for Archimedean Exhaustion and that Leibniz's procedures therefore find better proxies in NSA than in modern Weierstrassian mathematics., Comment: 9 pages. Published in London Mathematical Society Newsletter

We present a self-contained solution of a generalized Apollonius problem of constructing a circle that intersects each of the three pair-wise non-intersecting circles at one of the three given angles.

Kepler's thinking is highly original and the inspiration for discovering his famous third law is based on his rather curious geometric approach in his Harmonices mundi for explaining consonances. In this article we try to use a modern mathematical approach based on Kepler's ideas how to characterize the seven consonances with the help of the numbers of edges of polygons constructible by ruler and compass., Comment: 12 pages

The following magic trick is at the center of this paper. While the audience writes the first ten terms of a Fibonacci-like sequence (the sequence following the same recursion as the Fibonacci sequence), the magician calculates the sum of these ten terms very fast by multiplying the 7th term by 11. This trick is based on the divisibility properties of partial sums of Fibonacci-like sequences. We find the maximum Fibonacci number that divides the sum of the Fibonacci numbers 1 through $n$. We discuss the generalization of the trick for other second-order recurrences. We show that a similar trick exists for Pell-like sequences and does not exist for Jacobhstal-like sequences., Comment: 26 pages, 9 tables

Lights Out is a single-player electronic handheld game from the 1990s that features a 5 by 5 grid of light-up buttons. The game begins with some lights on and others off. The goal is to turn off all lights but pressing a button changes its state and changes the states of the buttons above and below and to the left and right of the button. We examine a cylindrical Lights Out game in which the left side of the board is connected to the right. Moreover, instead of just on and off we let the lights have $k$ states for $k \ge 2$. We then apply a modified light chasing strategy in which we try to systematically turn off all lights in a row by pressing the buttons in the row below. We ask if the game begins with all lights starting at the same state, how many rows must the board have in order for all lights to be turned off using this type of modified light chasing after we press the last row of lights. We connect this light chasing strategy to the Fibonacci numbers and are able to provide answer to our question by studying the Fibonacci numbers (mod $k$).

This paper carries out a scientific study of the effects of strike on Nigerian Universities. A mathematical model is formulated to examine the behavior of Nigerian University System when Public Universities are on strike. The results show that if all State and Federal Universities are on strike with the exception of the Private Universities, the University System in Nigeria is locally asymptotically stable.

In 1986, composer Wendy Carlos introduced three unusual musical scales she called alpha, beta and gamma, equal temperament-inspired scales that de-emphasize the octave as the primary interval in favor of the major and minor thirds and the perfect fifth. A derivation of the alpha, beta, and gamma scales due to David Benson is generalized to produce many Carlos-type scales., Comment: 5 pages, version 3 corrects a small typo that occurred in version 2

In 2016 Vladimir Voevodsky sent the author an email message where he explained his conception of mathematical structure using a historical example borrowed from the \emph{Commentary to the First Book of Euclid's Elements} by Proclus; this message was followed by a short exchange where Vladimir clarified his conception of structure. In this Chapter Voevodsky's historical example is explained in detail, and the relevance of Voevodsky's conception of mathematical structure in Homotopy Type theory is shown. The Chapter also discusses some related historical and philosophical issues risen by Vladimir Voevodsky in the same email exchange. This includes a comparison of Voevodsky's conception of mathematical structure and other conceptions of structure found in the current literature. The concluding part of this Chapter includes relevant fragments of the email exchange between Vladimir Voevodsky and the author., Comment: 29 pages, 1 figure

A quadratic recurrence of Faltung type, arising via ancestral path lengths of random binary trees, turns out to be related to the Painlev\'e I differential equation., Comment: 15 pages, 6 figures

This paper presents an updated biography of Samgamagr\=ama M\=adhava incorporating viewpoints expounded by scholars in the recent past and collecting together in one place more details about his works culled from recent researches into his contributions to mathematics and astronomy. One major updation is with regard to the geographical location in Kerala where M\=adhava flourished. Other updations include observations on M\=adhava's algorithm to compute the numerical values of the sine and cosine functions and on his value of the mathematical constant $\pi$.

The Dirichlet Principle is an approach to solving the Dirichlet problem by means of a Dirichlet energy integral. It is part of the folklore of mathematics that the genesis of this argument was motivated by physical analogy involving electrostatic fields. The story goes something like this: If an electrostatic potential is prescribed on the boundary of a region, it will extend to a potential in the interior of the region which is harmonic when the electric field is in stable equilibrium, and that electrostatic field has minimum Dirichlet energy. The details of this argument are seldom given and where they are, they are typically scant, redacted, and speculative while often omitting either physics details or mathematics details. The purpose of this article is to give a detailed reconstruction of the electrostatic argument by combining accounts in several contemporary and historical disparate sources. Particular attention is given to explaining the frequently omitted physics and mathematical details and how they fit together to give the physical motivation., Comment: 32 pages. Comments welcome

Effective and timely feedback in educational assessments is essential but labor-intensive, especially for complex tasks. Recent developments in automated feedback systems, ranging from deterministic response grading to the evaluation of semi-open and open-ended essays, have been facilitated by advances in machine learning. The emergence of pre-trained Large Language Models, such as GPT-4, offers promising new opportunities for efficiently processing diverse response types with minimal customization. This study evaluates the effectiveness of a pre-trained GPT-4 model in grading semi-open handwritten responses in a university-level mathematics exam. Our findings indicate that GPT-4 provides surprisingly reliable and cost-effective initial grading, subject to subsequent human verification. Future research should focus on refining grading rules and enhancing the extraction of handwritten responses to further leverage these technologies., Comment: 17 pages, 12 figures, 4 tables

Whilst Paul de Casteljau is now famous for his fundamental algorithm of curve and surface approximation, little is known about his other findings. This article offers an insight into his results in geometry, algebra and number theory. Related to geometry, his classical algorithm is reviewed as an index reduction of a polar form. This idea is used to show de Casteljau's algebraic way of smoothing, which long went unnoticed. We will also see an analytic polar form and its use in finding the intersection of two curves. The article summarises unpublished material on metric geometry. It includes theoretical advances, e.g., the 14-point strophoid or a way to link Apollonian circles with confocal conics, and also practical applications such as a recurrence for conjugate mirrors in geometric optics. A view on regular polygons leads to an approximation of their diagonals by golden matrices, a generalisation of the golden ratio. Relevant algebraic findings include matrix quaternions (and anti-quaternions) and their link with Lorentz' equations. De Casteljau generalised the Euclidean algorithm and developed an automated method for approximating the roots of a class of polynomial equations. His contributions to number theory not only include aspects on the sum of four squares as in quaternions, but also a view on a particular sum of three cubes. After a review of a complete quadrilateral in a heptagon and its angles, the paper concludes with a summary of de Casteljau's key achievements. The article contains a comprehensive bibliography of de Casteljau's works, including previously unpublished material., Comment: 56 pages, 19 sections, 30 figures - part of a special issue on Paul de Casteljau

We investigate fractal structures in African and African diasporic music, building on hypotheses of choreographer Reggie Wilson and research on fractals in African material culture by Ron Eglash., Comment: 8 pages

Choreographer Reggie Wilson and mathematician Jesse Wolfson describe interactions of math and dance emerging from their 12+ year engagement with Black movement and music traditions as part of Wilson's research-to-performance/performance-to-research choreographic practice, with examples including fractals, braids and choreographic and mathematical notions of space, time and movement.

Motivated by the commitments from the Talmud in Judaism, we consider the family planning rules which require a couple to get children till certain numbers of boys and girls are reached. For example, the rabbinical school of Beit Hillel says that one boy and one girl are necessary, whereas Beit Shammai urges for two boys. Surprisingly enough, although the corresponding average family sizes differ in both cases, the gender ratios remain constant. We show more that for any family planning rule the gender ratio is equal to the birth odds. The proof of this result is given by using different mathematical techniques, such as induction principle, Doob's optional-stopping theorem, and brute-force. We conclude that, despite possible asymmetries in the religiously motivated family planning rules, they discriminate neither boys nor girls., Comment: Talmud, Beit Hillel, Beit Shammai, family planning, gender ratio, mathematical induction, Doob's optional-stopping theorem

Weyl's interpretation of quantified formulas should not be conflated with Hilbert's. His semantic reasons for rejecting the law of excluded middle are based on a normative conception of transfinite mathematics as a system of conditional obligations., Comment: 14p, comments welcome!

The paper attempts to clarify Weyl's metaphorical description of Emmy Noether's algebra as the Eldorado of axiomatics. It discusses Weyl's early view on axiomatics, which is part of his criticism of Dedekind and Hilbert, as motivated by Weyl's acquiescence to a phenomenological epistemology of correctness, then it describes Noether's work in algebra, emphasizing in particular its ancestral relation to Dedekind's and Hilbert's works, as well as her mathematical methods, characterized by non-elementary reasoning, i.e., reasoning detached from mathematical objects. The paper turns then to Weyl's remarks on Noether's work, and argues against assimilating her use of the axiomatic method in algebra to his late view on axiomatics, on the ground of the latter's resistance to Noether's principle of detachment.

The paper discusses Peano's argument for preserving familiar notations. The argument reinforces the principle of permanence, articulated in the early 19th century by Peacock, then adjusted by Hankel and adopted by many others. Typically regarded as a principle of theoretical rationality, permanence was understood by Peano, following Mach, and against Schubert, as a principle of practical rationality. The paper considers how permanence, thus understood, was used in justifying Burali-Forti and Marcolongo's notation for vectorial calculus, and in rejecting Frege's logical notation, and closes by considering Hahn's revival of Peano's argument against Pringsheim' reading of permanence as a logically necessary principle.

A graph drawing in the plane is called an almost embedding if images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. We introduce integer invariants of almost embeddings: winding number, cyclic and triodic Wu numbers. We construct almost embeddings realizing some values of these invariants. We prove some relations between the invariants. We study values realizable as invariants of some almost embedding, but not of any embedding. This paper is expository and is accessible to mathematicians not specialized in the area (and to students). However elementary, this paper is motivated by frontline of research., Comment: 16 pages, many figures

Ian Macdonald's works changed our perspective on so many parts of algebraic combinatorics and formal power series. This talk will display some selected works of the art of Ian Macdonald, representative of different periods of his oeuvre, and analyze how they resonate, both for the past development of our subject and for its future. This paper was prepared for the occasion of a lecture in tribute to Ian G. Macdonald, delivered at FPSAC 2024 in Bochum, Germany on 22 July 2024. I want to express thanks to the Executive Committee of FPSAC, the Organizing Committee of FPSAC 2024, and to the whole of our FPSAC 2024 community for making this lecture a possibility and for considering me for its delivery. Macdonald is my hero, and to be asked to play such a role in his legacy touches me deeply.

This paper explores the relationship of artificial intelligence to the task of resolving open questions in mathematics. We first present an updated version of a traditional argument that limitative results from computability and complexity theory show that proof discovery is an inherently difficult problem. We then illustrate how several recent applications of artificial intelligence-inspired methods -- respectively involving automated theorem proving, SAT-solvers, and large language models -- do indeed raise novel questions about the nature of mathematical proof. We also argue that the results obtained by such techniques do not tell against our basic argument. This is so because they are embodiments of brute force search and are thus capable of deciding only statements of low logical complexity.

This book provides an introduction to the mathematical analysis of deep learning. It covers fundamental results in approximation theory, optimization theory, and statistical learning theory, which are the three main pillars of deep neural network theory. Serving as a guide for students and researchers in mathematics and related fields, the book aims to equip readers with foundational knowledge on the topic. It prioritizes simplicity over generality, and presents rigorous yet accessible results to help build an understanding of the essential mathematical concepts underpinning deep learning.

We review the work of Dominic Welsh (1938-2023), tracing his remarkable influence through his theorems, expository writing, students, and interactions. He was particularly adept at bringing different fields together and fostering the development of mathematics and mathematicians. His contributions ranged widely across discrete mathematics over four main career phases: discrete probability, matroids and graphs, computational complexity, and Tutte-Whitney polynomials. We give particular emphasis to his work in matroid theory and Tutte-Whitney polynomials., Comment: 29 pages, one photo, two figures. Revised and expanded version of the guest post of the same title at The Matroid Union, 12 February 2024 (http://matroidunion.org/?p=5304). This version submitted to 2023 MATRIX Annals

Discussions surrounding the nature of the infinite in mathematics have been underway for two millennia. Mathematicians, philosophers, and theologians have all taken part. The basic question has been whether the infinite exists only in potential or exists in actuality. Only at the end of the 19th century, a set theory was created that works with the actual infinite. Initially, this theory was rejected by other mathematicians. The creator behind the theory, the German mathematician Georg Cantor, felt all the more the need to challenge the long tradition that only recognised the potential infinite. In this, he received strong support from the interest among German neothomist philosophers, who, under the influence of the Encyclical of Pope Leo XIII, Aeterni Patris, began to take an interest in Cantor's work. Gradually, his theory even acquired approval from the Vatican theologians. Cantor was able to firmly defend his work and at the turn of the 20th century, he succeeded in gaining its acceptance. The storm that had accompanied its original rejection now accompanied its acceptance. The theory became the basis on which modern mathematics was and is still founded, even though the majority of mathematicians know nothing of its original theological justification. Set theory, which today rests on an axiomatic foundation, no longer poses the question of the existence of actual infinite sets. The answer is expressed in its basic axiom: natural numbers form an infinite set. No substantiation has been discovered other than Cantor's: the set of all natural numbers exists from eternity as an idea in God's intellect., Comment: The author's translation of the paper appeared in \emph{Filosofick\'{y} \v{c}asopis} 53, 195--218

The author was encouraged to write this review by numerous enquiries from researchers all over the world, who needed a ready-to-use algorithm for the inversion of confluent Vandermonde matrices which works in quadratic time for any values of the parameters allowed by the definition, including the case of large root multiplicities of the characteristic polynomial. Article gives the history of the title special matrix since 1891 and surveys algorithms for solving linear systems with the title class matrix and inverting it. In particular, it presents, also by example, a numerical algorithm which does not use symbolic computations and is ready to be implemented in a general-purpose programming language or in a specific mathematical package.