lane44

\def\extrasenglish{} % for varioref bug https://github.com/latex3/latex2e/issues/2112

% 1. Ošetření načítání fontspec
\PassOptionsToPackage{no-math}{fontspec}

% 2. BLOKÁDA KAOFONTS: Přinutíme LaTeX si myslet, že kaofonts.sty už byl načten.
% Tím se zcela vyhnes hledání chybějícího fontu "Libertinus Serif".
\makeatletter
\expandafter\def\csname [email protected]\endcsname{}
\makeatother

\documentclass[
    a4paper,
    fontsize=10pt,
    twoside=true,
    nofonts,
]{kaobook}

\usepackage{iftex}
\usepackage{fontspec}

% 3. Definuješ vlastní dostupné fonty
\setmainfont{TeX Gyre Termes}
\setsansfont{TeX Gyre Heros}
\setmonofont{TeX Gyre Cursor}

% 4. OPRAVA PRO BALÍČEK DIALOGUE (\providelength collision fix)
\let\providelength\undefined
\usepackage{dialogue}

% Choose the language
\ifxetexorluatex
    \usepackage{polyglossia}
    \setmainlanguage{english}
\else
    \usepackage[english]{babel}
\fi

\usepackage[english=british]{csquotes} % English quotes

\usepackage{amsmath,amssymb}
\usepackage{mathrsfs}

\usepackage{imakeidx}
\usepackage{enumitem}
\usepackage{etoolbox}

\makeindex

\begin{document}

% Fiktivní položky pro zklidnění BibTeXu a MakeIndexu v editoru:
\nocite{*}
\index{dummy}

\medskip
\section{Lane Hemaspaandra}
dear hynek

again, thanks, and warmest wishes to you. (I don't know if you already have a Ph.D., but if you don't and you are ever are looking to get one, please do consider University of Rochester, and if you do, please let me know so I can make sure the admissions committee doesn't fail to notice yours amidst the hundreds of applications. My most recent Ph.D. graduate, Piotr Faliszewski, who graduated 1.5 years ago and became an assistant professor in Krakow, Poland, came to UR because he send me some comments on The Complexity Companion, and from the correspondence that grew, he applied here, was accepted, did great research and a great Ph.D. thesis, and we now have a slew of joint papers, and a close ongoing research collaboration.)

\medskip
{\flushright lane}
\medskip

\section{A short story from the computational complexity exam}
One day, at the exam from computational complexity, our teacher gave us
a task and waited for our completing it.

I returned to her an empty paper after about an hour of work.
I claimed that for one of the questions the alleged proof I was supposed to carry out was not valid. After a while she spotted a gap in it:
the negation of satisfiable formula may not be unsatisfiable and told
me that I was right. But, she said, why did you started to solve
the 6th out of 7 questions which was by chance incorrectly assigned ?

I replied, there was something immediately strange in this assignment.

\medskip
\section{Dana Scott}
In 2008 I have asked the following question to FOM forum:

I have a question regarding Axiom of Choice.
What is the strength of the following two theories

\begin{enumerate}
  \item \label{eq:pyth1} $\textsf{ZF}+\{\text{on every filter, there is a selector}\}$
  \item \label{eq:pyth2} $\textsf{ZF}+\{\text{on every ultrafilter, there is a selector}\}$
\end{enumerate}

Professor Dana Scott comments on the question:

\begin{dialogue}
\speak{Dana Scott} How did the question come up?
Why don't you sign your whole name on FOM, so people know who you are?
\speak{Me} I'm interested in $\textsf{ZFC}$ (and other foundational issues), and from time to time have a question on the subject;
but currently have no leadership...
\speak{Dana Scott} Tarski would have liked this question.
\end{dialogue}

End of dialogue.

\section{A few observations around the time of my graduation}
My Master Thesis Advisor once asked me:

\begin{dialogue}
\speak{MTA} Tell me something about semigroups.
\speak{I}
If we have enough of them, then there will be a morphism between two of them
\speak{MTA}
That's trivial...no no, that's the Vop\v{e}nka's Principle!
How much of them should they there be ?
\speak{I}
Inaccessible cardinal ?
\speak{MTA}
It's obvious, you must have read it somewhere.
We need a proper class of them.
\end{dialogue}

End of dialogue.
\medskip

I'm not aware that I have read it anywhere.
It just resonated in my mind, that the words Exist and Morphism
abounded all the time, so I just let them be together.

Some other dialogue with this assistant professor:

\begin{dialogue}
\speak{MTA} So you are interested in set theory? Tell us something about it.
\speak{I}
What is the largest cardinal compatible with $\textsf{V=L}$ ?
\speak{Professor} There were some other people present and one of them paused to ponder
and concluded: A good question.
\end{dialogue}

End of dialogue.
\medskip

Many years after, I've found a work by Jack Silver: A large cardinal in the constructible universe, answering this question.

\medskip
\section{Henk Barendregt book on lambda calculus}
I didn't care to rewrite Henk's email in \LaTeX\ notation.
Just his first paragraph matters for now.

\begin{verbatim}
Dear Hynek,

You are right. So now you know (at least locally) my book better than me :).
But you do not know yet how to use it. So let me help you.

P^arrow being, say, P1,P2 in SO means that both P1 in SO and P2 in SO.
Then \x0.x0P1P2 in SO.
So my example below should have been
\x0x1.x0 I (x1 I I I) in SO.

Best wishes, Henk
\end{verbatim}

\end{document}\def\extrasenglish{} % for varioref bug https://github.com/latex3/latex2e/issues/2112

% 1. Ošetření načítání fontspec
\PassOptionsToPackage{no-math}{fontspec}

% 2. BLOKÁDA KAOFONTS: Přinutíme LaTeX si myslet, že kaofonts.sty už byl načten.
% Tím se zcela vyhnes hledání chybějícího fontu "Libertinus Serif".
\makeatletter
\expandafter\def\csname [email protected]\endcsname{}
\makeatother

\documentclass[
    a4paper,
    fontsize=10pt,
    twoside=true,
    nofonts,
]{kaobook}

\usepackage{iftex}
\usepackage{fontspec}

% 3. Definuješ vlastní dostupné fonty
\setmainfont{TeX Gyre Termes}
\setsansfont{TeX Gyre Heros}
\setmonofont{TeX Gyre Cursor}

% 4. OPRAVA PRO BALÍČEK DIALOGUE (\providelength collision fix)
\let\providelength\undefined
\usepackage{dialogue}

% Choose the language
\ifxetexorluatex
    \usepackage{polyglossia}
    \setmainlanguage{english}
\else
    \usepackage[english]{babel}
\fi

\usepackage[english=british]{csquotes} % English quotes

\usepackage{amsmath,amssymb}
\usepackage{mathrsfs}

\usepackage{imakeidx}
\usepackage{enumitem}
\usepackage{etoolbox}

\makeindex

\begin{document}

% Fiktivní položky pro zklidnění BibTeXu a MakeIndexu v editoru:
\nocite{*}
\index{dummy}

\medskip
\section{Lane Hemaspaandra}
dear hynek

again, thanks, and warmest wishes to you. (I don't know if you already have a Ph.D., but if you don't and you are ever are looking to get one, please do consider University of Rochester, and if you do, please let me know so I can make sure the admissions committee doesn't fail to notice yours amidst the hundreds of applications. My most recent Ph.D. graduate, Piotr Faliszewski, who graduated 1.5 years ago and became an assistant professor in Krakow, Poland, came to UR because he send me some comments on The Complexity Companion, and from the correspondence that grew, he applied here, was accepted, did great research and a great Ph.D. thesis, and we now have a slew of joint papers, and a close ongoing research collaboration.)

\medskip
{\flushright lane}
\medskip

\section{A short story from the computational complexity exam}
One day, at the exam from computational complexity, our teacher gave us
a task and waited for our completing it.

I returned to her an empty paper after about an hour of work.
I claimed that for one of the questions the alleged proof I was supposed to carry out was not valid. After a while she spotted a gap in it:
the negation of satisfiable formula may not be unsatisfiable and told
me that I was right. But, she said, why did you started to solve
the 6th out of 7 questions which was by chance incorrectly assigned ?

I replied, there was something immediately strange in this assignment.

\medskip
\section{Dana Scott}
In 2008 I have asked the following question to FOM forum:

I have a question regarding Axiom of Choice.
What is the strength of the following two theories

\begin{enumerate}
  \item \label{eq:pyth1} $\textsf{ZF}+\{\text{on every filter, there is a selector}\}$
  \item \label{eq:pyth2} $\textsf{ZF}+\{\text{on every ultrafilter, there is a selector}\}$
\end{enumerate}

Professor Dana Scott comments on the question:

\begin{dialogue}
\speak{Dana Scott} How did the question come up?
Why don't you sign your whole name on FOM, so people know who you are?
\speak{Me} I'm interested in $\textsf{ZFC}$ (and other foundational issues), and from time to time have a question on the subject;
but currently have no leadership...
\speak{Dana Scott} Tarski would have liked this question.
\end{dialogue}

End of dialogue.

\section{A few observations around the time of my graduation}
My Master Thesis Advisor once asked me:

\begin{dialogue}
\speak{MTA} Tell me something about semigroups.
\speak{I}
If we have enough of them, then there will be a morphism between two of them
\speak{MTA}
That's trivial...no no, that's the Vop\v{e}nka's Principle!
How much of them should they there be ?
\speak{I}
Inaccessible cardinal ?
\speak{MTA}
It's obvious, you must have read it somewhere.
We need a proper class of them.
\end{dialogue}

End of dialogue.
\medskip

I'm not aware that I have read it anywhere.
It just resonated in my mind, that the words Exist and Morphism
abounded all the time, so I just let them be together.

Some other dialogue with this assistant professor:

\begin{dialogue}
\speak{MTA} So you are interested in set theory? Tell us something about it.
\speak{I}
What is the largest cardinal compatible with $\textsf{V=L}$ ?
\speak{Professor} There were some other people present and one of them paused to ponder
and concluded: A good question.
\end{dialogue}

End of dialogue.
\medskip

Many years after, I've found a work by Jack Silver: A large cardinal in the constructible universe, answering this question.

\medskip
\section{Henk Barendregt book on lambda calculus}
I didn't care to rewrite Henk's email in \LaTeX\ notation.
Just his first paragraph matters for now.

\begin{verbatim}
Dear Hynek,

You are right. So now you know (at least locally) my book better than me :).
But you do not know yet how to use it. So let me help you.

P^arrow being, say, P1,P2 in SO means that both P1 in SO and P2 in SO.
Then \x0.x0P1P2 in SO.
So my example below should have been
\x0x1.x0 I (x1 I I I) in SO.

Best wishes, Henk
\end{verbatim}

\end{document}