Tuesday, May 26, 2026

MAGNIFICA HUMANITAS - Encyclical Letter of Pope Leo XIV


Pope Leo XIV


On May 25, 2026, Pope Leo XIV issued his first encyclical letter, Magnifica Humanitas. This was near the 135th anniversary of Rerum Novarum issued by Pope Leo XIII during a time of rapid technological change.

Why is this in a math blog? As many know, Pope Leo XIV, studied mathematics at Villanova University before pursuing theological studies and earning a JCD from Pontifical University of St. Thomas Aquinas in Rome. Pope Leo's recent letter is to address the rapid changes in society driven by artificial intelligence and related technologies. With his degree in mathematics, the Pope is in a good position to speak to the church about this topic.

Within the first few pages, his mathematical background comes out in the analogy: "This concept can also be illustrated by the image of a multifaceted polyhedron, in which the one truth of the Gospel is reflected from different angles."

While the encyclical is primarily theological and pastoral, his math influence seems most evident in additional sections:

1. Chapter 3: Technology and Dominance – The Grandeur of Humanity in Light of the Promises of AI (especially paragraphs on AI itself)

This is the most directly relevant section. The Pope offers a careful, almost analytical breakdown of what AI is and is not. He describes AI as systems that “imitate certain functions of human intelligence” through data, models, and optimization — language that echoes mathematical concepts like algorithms, statistical models, and pattern recognition.

He stresses transparency regarding algorithms, independent checks, accountability, and the need to understand how systems classify people and situations. This reflects a mathematician’s insistence on verifiable processes, error analysis, and avoiding “black box” opacity.

Discussions of bias in algorithms, data as a shared resource, and how models embed values (what they measure, ignore, or optimize) show systems-thinking typical of someone trained in applied mathematics.

2. Sections on Governance, Subsidiarity, and Ethical Regulation of AI

The encyclical repeatedly calls for transparency, accountability, independent verification, and structured participation in AI governance. These mirror mathematical and scientific habits: demanding clear assumptions, reproducible results, and checks against unintended consequences.

His emphasis on subsidiarity (handling issues at the most appropriate level) and avoiding top-down imposition of opaque systems feels informed by logical structuring of complex problems.

3. Discussions of Truth, Probability, and Decision-Making

In parts addressing truth as a common good, misinformation, and automated decision-making (e.g., credit, hiring, or risk assessment), the Pope highlights how algorithms can cloak exclusion in “a veneer of neutrality and objectivity.” This critique shows awareness of how mathematical tools can appear impartial while carrying hidden biases in their design or training data.

4. Broader Structural Approach

The encyclical’s overall organization — clear chapters, logical progression from foundations to applications, and balanced weighing of risks vs. benefits — reflects disciplined, systematic thinking. Some observers note that his math training may contribute to a more rigorous, less purely rhetorical style in addressing technical topics.

Notable Quote Reflecting Precision

One standout line (around paragraph 128) contrasts human growth with machine logic:

“For an algorithm, an error is a flaw to be corrected; for a person, however, an error can be a catalyst for profound change.”

This beautifully distinguishes deterministic systems (math/AI) from the open-ended, relational nature of human freedom and grace.

Overall Assessment: Pope Leo XIV does not engage in deep technical mathematics in the encyclical. Instead, his background seems to provide intellectual tools for dissecting AI as a complex system, insisting on clarity, ethical guardrails, and human-centered design. It helps him bridge theology and technology without being either overly fearful or naively optimistic.

His formation allows a precise critique: AI is powerful modeling, but it lacks the irreducible dignity, freedom, and relational depth of the human person created in God’s image.


Wednesday, May 20, 2026

Contribution to the OEIS - A395743

 A395743

Sum of the cumulative number of previous occurrences of the digits of n in the sequence 1..n excluding the current occurrence of each digit.
0
0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 5, 5, 6, 7, 8, 9, 10, 11, 12, 3, 15, 9, 8, 9, 10, 11, 12, 13, 14, 5, 17, 18, 13, 11, 12, 13, 14, 15, 16, 7, 19, 20, 21, 17, 14, 15, 16, 17, 18, 9, 21, 22, 23, 24, 21, 17, 18, 19, 20, 11, 23, 24, 25, 26, 27, 25, 20, 21, 22, 13
OFFSET
1,11
COMMENTS
This sequence is the exclusive counterpart to A343644. While A343644 counts the occurrences of digits in the range [1,n], a(n) counts only the occurrences strictly preceding each digit of n. Formally a(n) = A343644(n) - A055642(n). Thus, this sequence represents the exclusive scan of digit occurrences, whereas A343644 is the inclusive scan. a(n) = 0 for all single-digit n as it measures the cumulative repetition of digits at the exact moment n is formed.
FORMULA
a(n) = Sum_{i=1..k} C(d_i), where d_1, d_2, ..., d_k are the digits of n, and C(d_i) is the number of times digit d_i has appeared in the concatenation of all integers from 1 to n-1 plus the digits of n to the left of d_i.
a(n) = A343644(n) - A055642(n).
EXAMPLE
For n = 11:
The digits are '1' and '1'.
- First '1': Appeared previously in {1, 10} -> count = 2.
- Second '1': Appeared previously in {1, 10} AND as the first digit of 11 -> count = 3.
a(11) = 2 + 3 = 5.
For n = 12:
The digits are '1' and '2'.
- Digit '1': Appeared in {1, 10, 11 (twice)} -> count = 4.
- Digit '2': Appeared in {2} -> count = 1.
a(12) = 4 + 1 = 5.
MATHEMATICA
a[n_]:=Module[{sm=0, id=IntegerDigits[n], d=IntegerDigits/@Range[n-1]//Flatten}, Do[sm=sm+Count[Join[d, Take[id, i-1]], id[[i]]], {i, IntegerLength[n]}]; sm]; Array[a, 70]
PROG
(Python)
def generate_sequence(limit):
seq = []
counts = [0] * 10
for n in range(1, limit + 1):
v = 0
s = str(n)
for char in s:
d = ord(char) - 48
v += counts[d]
counts[d] += 1
seq.append(v)
return seq
print(generate_sequence(70))
CROSSREFS
KEYWORD
nonn,base,easy,new
AUTHOR
STATUS
approved

Tuesday, May 12, 2026

16670, A Saintly Number

 

(Image: By Unknown author - http://santuarioeucaristico.blogspot.hu/2010/08/sao-maximiliano-kolbe-14-de-agosto.html, Public Domain, https://commons.wikimedia.org/w/index.php?curid=42823235)

In 1941, a prisoner at the Auschwitz concentration camp escaped. In retaliation, the officials at the camp selected ten prisoners who would be starved to death. One of the selected prisoners, Franciszek Gajowniczek, a Polish Catholic, cried out, "My wife! My children!" Upon hearing his pleas, a Franciscan Friar, Maximilian Maria Kolbe, volunteered to take the place of Gajowniczek. 

In the following weeks, each time the guards checked on him, he was standing or kneeling in the middle of the cell, calmly looking at those who entered. After the group had been starved and deprived of water for two weeks, only Kolbe and three others remained alive.

Impatient to empty the bunker, the guards gave the four remaining prisoners lethal injections of carbolic acid. Kolbe is said to have raised his left arm and calmly waited for it. Maximilian Kolbe died on 14 August 1941. He was cremated on 15 August, which happened to be the feast day of the Assumption of Mary.

Kolbe was canonized by Pope John Paul II on 10 October 1982.

Gajowniczek was transferred from Auschwitz to Sachsenhausen concentration camp on 25 October 1944. He was liberated there by the Allies, after spending five years, five months, and nine days in concentration camps in total. He reunited with his wife Helena, six months later in Rawa Mazowiecka

Saint Maximilian Kolbe's prisoner number at Auschwitz was 16670.

An Open Message to the Blog's Fans in Singapore

(Image:  Free 12 singapore icons - Iconfinder ) This past week, more views of this blog were made from Singapore than other country. To ackn...

Popular in last 30 days