\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Novalis}

Georg Philipp Friedrich Freiherr von Hardenberg (Novalis) (May 2, 1772 -- March 25, 1801), was a German Romantic poet, philosopher, author, scientific polymath, and salt-mine manager. He is distinguished from the other German Romantics in that he is the only one who was academically qualified and professionally trained in the sciences. He undertook a grand philosophico-poetic-scientific encyclopedia project - the \emph{Allgemeine Brouillon} - and encapsulated this project in narrative form in \emph{The Disciples at Sais}, among other things. As evinced by the mathematical fragments below, mathematics held much importance in his work.

\begin{itemize}%
\item \href{http://en.wikipedia.org/wiki/Novalis}{Wikipedia entry}
\item \href{http://plato.stanford.edu/entries/novalis/}{Stanford Encyclopedia of Philosophy entry}

\end{itemize}
\hypertarget{mathematical_fragments}{}\subsubsection*{{Mathematical Fragments}}\label{mathematical_fragments}

\begin{itemize}%
\item ``In the end, mathematics is only common, simple philosophy, and philoso- phy, is higher mathematics in general. In particular, higher mathematics connects common mathematics with the system of mathematics, while the latter borders on the philosophy of mathemat- ics---or philosophical mathematics, just as systematic science is generally always the precursor and boundary of a higher degree of science---of the philosophical degree.222 (Degrees of scientific character. The highest degree of scientific character would be termed philosophy). The philosophical degree again divides into 3 parts and immediately---passes over into the higher series, or into the higher de- gree of the philosophy of philosophy, and so on. (Just as the man of nature passes over into the common and complex human being, so too pure science into the common and higher. Higher science is the transition to a system, just as the scholar, or complex man is the transition to the systematist).''


\item ``(Has philosophy originated from the contemplation of mathematics?) Philosophy is universal---or higher mathematics---the animating principle of mathematics---poetical mathematics---Or the substance, if mathematics is the form. Mathematics is merely objective philosophy---formal philosophy---and so- called philosophy---is merely subjective philosophy or mathematics---real philoso- phy. By combining them in a manner analogous to that of the combination of chemistry and mechanics---there arises substantial---synthetic---philosophy---or mathematics, or physics. Contrasted with philosophy, physics is mathematics--- while contrasted with mathematics---it is philosophy''


\item ``All the universal sciences---e.g. physics and mathematics, etc., really resemble philosophy in one respect---they are Proteusses---universal substances---indications etc.''


\item ``The mathematical method is the essence of mathematics. Whoever fully understands this method, is a mathematician. As the scientific method in general it is extremely interesting, and perhaps supplies us with the most accurate model for the classification of knowledge, or for the faculty of experience. Axioms and postulates denote the theoretical (a.) and practical (b.) cognitive faculty as such. Problems denote the desire. Solution and proof, the analytic (ad a.) and synthetic (ad b.) ability. Explanations and corollaries also have their significance. This reveals that our desire for knowledge is the intelligence's desire for life, a play of intellectual forces.''


\item ``Mathematics is genuine science---because it contains created knowledge---the products of its own spiritual activity---and because it methodically inspires. It is art, because it has fashioned inspired procedures into rules---because it teaches one to be a genius---and because it replaces Nature with reason. Higher mathematics is concerned with the spirit of quantities---with their political principle---with the world of quantities''


\item ``All sciences should become mathematics. Up to now, mathematics has merely been the first and simplest expression or revelation of true scientific spirit.''


\item ``The external is the common. The internal, is the particular./ The inte- gration is much more difficult than the differentiation. In relation to physics and philosophy./ The science that joins and puts both into contact with one another---that instructs in deriving the particular from the common, and the inverse, as well as with the external and internal aspects---this science is the connecting---and higher science. If the first is quantative mathematics, and the second qualitative mathe- matics, then the third is relative mathematics---which appear in four systems of elements and in a single universal system.''


\item ``The highest life is mathematics.''


\item ``Pure mathematics is religion.''


\item ``Pure mathematics is the intuition of the intellect as a universe. Genuine mathematics is the actual element of the magician \ldots{} In music it appears formally, as revelation - as creative idealism''



\end{itemize}
\hypertarget{rondas_en_sais}{}\subsubsection*{{Rondas en Sais}}\label{rondas_en_sais}

[[Fernando Zalamea]] edited a Spanish language volume which updates Novalis in light of contemporary mathematics, culture, and philosophy:

\begin{itemize}%
\item \emph{Rondas en Sais. Ensayos sobre matem\'a{}ticas y cultura contempor\'a{}nea} introduce algunos desarrollos profundos en matem\'a{}ticas modernas (1830-1950: Galois, Riemann, Peirce, Florenski) y contempor\'a{}neas (1950-hoy: Grothendieck, Connes, Lawvere, Shelah, Zilber), para luego reflexionar sobre las transformaciones que esos avances han producido y pueden llegar a producir en el \'a{}mbito general de la cultura, aqu\'i{} explorada a trav\'e{}s de diversas vertientes (filosof\'i{}a, literatura, cine, arte). En homenaje a Los Disc\'i{}pulos de Sais de Novalis, y continuando con la simbiosis de filosof\'i{}a natural y la especulativa presente en su clarividente borrador general, Rondas en Sais re\'u{}ne ensayos expresamente preparados para esta ocasi\'o{}n por reconocidos especialistas del mundo hisp\'a{}nico en historia y filosof\'i{}a de las matem\'a{}ticas. Con ello se registra un estado de la cuesti\'o{}n por primera vez a nivel internacional y se plantean problem\'a{}ticas a desarrollar en el futuro pr\'o{}ximo. El pensamiento matem\'a{}tico avanzado ha explorado con sumo detalle algunas fuerzas directrices tr\'a{}nsitos fronterizos, contaminaciones estructurales, deformaciones conceptuales, fluxiones pl\'a{}ticas, procesos reflexivos, por ejemplo que han permeado la cultura en el \'u{}ltimo medio siglo, y que han sido rara vez estudiadas desde la riqueza de los trasfondos matem\'a{}ticos subyacentes. Rondas en Sais pretende cubrir en parte esa ausencia y ayudar a hacer comprender la matem\'a{}tica como un pensamiento din\'a{}mico, imprescindible, parte integral de la cultura como un todo.

\end{itemize}
\hypertarget{references}{}\subsubsection*{{References}}\label{references}

\begin{itemize}%
\item Dalia Nassar (ed), \emph{\href{http://books.google.com/books?id=V6rFAgAAQBAJ&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q=wood&f=false}{The Relevance of Romanticism: Essays on German Romantic Philosophy}} Oxford University Press (2014)

\begin{itemize}%
\item [[Paul Redding]], ``\href{http://paulredding.net/Novalis%20Paradox-final.pdf}{Mathematics, Computation, Language and Poetry: The Novalis Paradox}'', essay 12


\item [[David W. Wood]], ``The ''Mathematical`` Wissenschaftslehre: On a Late Fichtean Reflection of Novalis'', essay 14



\end{itemize}

\item [[Fernando Zalamea]], \emph{\href{http://www.virtual.unal.edu.co/revistas/bolmat/revista/volumen11/parte1/art2.pdf}{Singularidades, Ramificati\'o{}n, y Continuidad: Un Encuentro entre Riemann, Beethoven, y Novalis}}



\end{itemize}
NDPR review of [[David W. Wood]]`s translation of the \emph{Allgemeine Brouillon}, and [[David W. Wood]]'s associated introductory essay on Novalis \& the \emph{Allgemeine Brouillon} :

\begin{itemize}%
\item \href{https://ndpr.nd.edu/news/23728-notes-for-a-romantic-encyclopaedia-das-allgemeine-brouillon/}{https://ndpr.nd.edu/news/23728-notes-for-a-romantic-encyclopaedia-das-allgemeine-brouillon/}


\item \href{https://www.sunypress.edu/pdf/61378.pdf}{https://www.sunypress.edu/pdf/61378.pdf}



\end{itemize}
free digital copy of \emph{The Disciples at Sais and other fragments}:

\begin{itemize}%
\item \href{https://archive.org/details/disciplesatsais00nova}{https://archive.org/details/disciplesatsais00nova}

\end{itemize}
general introduction to German Romanticism:

\begin{itemize}%
\item interview with Philosopher Dalia Nassar: \href{http://www.3ammagazine.com/3am/the-jena-romantics-et-al/}{http://www.3ammagazine.com/3am/the-jena-romantics-et-al/}

\end{itemize}
category: people



\end{document}