\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}

\begin{center}
\vspace*{\baselineskip}

{\Large המחלקה למתמטיקה, בן-גוריון}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge אשנב למתמטיקה}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{ב}\emph{יום שני, 18 בינואר, 2016}
\bigskip

\textbf{בשעה} \emph{19:00 -- 20:00}
\bigskip

\textbf{ב}\emph{-101}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries גן-עדן בעית הגוף והנפש ואוטומטים סלולרים\par}
\bigskip

תינתן על-ידי
\bigskip

{\large\scshape יאיר גלזנר}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  בהרצאה אסביר מקצת מן הרעיונות המתמטיים שעומדים בבסיס ספר המדע הבדיוני \emph{Pernutation City} של הסופר האוסטרלי \emph{Greg Egan}. הספר מפתיחתו מניח פתרון (שלילי) לבעיית הגוף והנפש, כלומר הוא מניח שניתן לממש את התודעה האנושית כחישוב. הדמויות, שחלקן רצות כתוכנה על מחשב, מעונינות להתנתק מפלטפורמת החומרה עליה הן רצות. סביב הבסיס הסיפורי הזה, אדון בתורה המתימטית של אוטומטים סלולרים, חישוביות, חישוביות הפיכה ובמשפט גן העדן.

\textbf{אזהרת ספוילר}: ההרצאה תכלול פרטים רבים מעלילת הספר וגם מן הרעיונות המתמטיים שעומדים בבסיסו. מאחר וזהו אחד מספרי המד״ב הטובים שאני מכיר אני מאוד ממליץ לקרוא אותו מבעוד מועד. ניתן לרכוש גרסת קינדל דרך אמזון בקישור הבא:

\href{http://www.amazon.com/Permutation-City-Novel-Greg-Egan/dp/1597805394}{\emph{Permutation City} on Amazon}
  


\vfill

\bigskip
\begin{center}
{\bfseries אנא שימו לב לשינוי ביום, שעה ומקום!}
\end{center}




% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
