\documentclass[12pt,titlepage]{article}
\usepackage{amsmath}
\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*{Andrius Kulikauskas}
Hello! I introduced myself in \href{https://forum.azimuthproject.org/discussion/1688/introduction-andrius-kulikauskas}{this post}
At The Azimuth Project, I am currently interested in:
\textbf{Project: Modeling the Composition of Perspectives.}
\begin{itemize}%
\item
\item The wiki page: [[Composition of Perspectives]]
\end{itemize}
\vspace{.5em} \hrule \vspace{.5em}
I have divided the rest of my page here into the following sections:
\begin{itemize}%
\item \textbf{Workspace} A messy place where I'm working.
\item \textbf{Projects} My projects which someday I think will find their own pages.
\item \textbf{Blog} What I'm up to here and elsewhere.
\end{itemize}
\vspace{.5em} \hrule \vspace{.5em}
\hypertarget{workspace}{}\subsection*{{Workspace}}\label{workspace}
I'm currently collecting links for my map of the areas of mathematics which I write about below.
I realized that a main theme is the correspondence between the roots of a polynomial (which define a geometric construction in some vector space) and the polynomial in terms of its coefficients (in some ring). This comes up in:
\begin{itemize}%
\item The Fundamental Theorem of Algebra
\item Its generalization, Hilbert's Nullstellensatz, and all of algebraic geometry.
\item Algebraic geometry can be nicely subdivided into ``classical algebraic geometry'' over the complex numbers or any algebraically closed field, and ``modern algebraic geometry'' (using schemes) over the real numbers or any non-algebraically-closed-field, per the \href{https://www.youtube.com/playlist?list=PLbMVogVj5nJSNj24jdPGivlJtxbxua2by}{NPTEL video lectures on algebraic geometry}.
\item Galois theory links with the group of symmetries on those roots.
\item Lie theory has a similar intent.
\item Linear algebra is, apparently, just algebraic geometry for multilinear polynomials.
\item The Riemann hypothesis asks questions about zeros.
\end{itemize}
A related them is the different kinds of geometries. As I write in my page \href{http://www.ms.lt/sodas/Book/DiscoveryInMathematics}{Discovery in Mathematics: A System of Deep Structure}I think that there are four kinds geometries (affine, projective, conformal, symplectic) and six transformations between them. I'm finding it very helpful to watch Norman Wildberger's videos on Universal Hyperbolic Geometry. I hope to collect all of the results he presents and express them in terms of symmetric functions. Perhaps the six natural bases of the symmetric functions are related to the six transformations that I'm looking for? I wrote my Ph.D. thesis on the values of these symmetric functions at the eigenvalues of an arbitrary matrix.
Perhaps the most important idea in math is the duality between 0 and infinity as mediated by the ``lens'' of 1. On the one hand, this is suggested by my talk on \href{http://www.ms.lt/sodas/Book/GodsDance}{God's Dance}. On the other hand, I think this comes up with the field with one element. I think that element can be interpreted at different times as 0, 1 and infinity, for example: 0 = 1 / infinity. What I'm learning from the Universal Hyperbolic Geometry is that infinity and zero are often completely dual. For example, the idea that 0 is between tiny negative numbers and tiny positive numbers is in some sense not any more valid than the idea that infinity is ``between'' humungous negative numbers and humungous positive numbers, that is, more negative than the one and more positive than the other. Basically there is a sense of ``symmetry breaking'' by which 0 and infinity start to get treated differently. And zero is also related to the ``zeros'' discussed above.
I'm thinking of geometry as the way of embedding a lower dimensional space into a higher dimensional space. So that fits well with what I wrote about algebraic geometry as involving vector spaces for their geometry. And there is a duality between the bottom-up constructions and top-down deconstructions as with points and hyperplanes (or points and lines in 2 dimensions).
So I feel surprised to be making some progress. At some point I will need to try to again with my diagram of the areas of math.
Another idea I had for building this map was to study the top 100 or 200 top tags at Math Overflow and also, to ask them, for each pair of tags, the number of posts that use those tags.
\begin{itemize}%
\item Thank you to Kirby Urner for suggesting I include Synergetics
\item Synergetics - tetrahedron - icosahedron - geodesics - self-organizing systems
\item Field of one element - simplicial complex {\tt \symbol{62}} simplex {\tt \symbol{62}} empty set
\item simplex {\tt \symbol{60}} simplicial homology {\tt \symbol{60}} singular homology
\item homology group
\item Betti number
\end{itemize}
\vspace{.5em} \hrule \vspace{.5em}
\hypertarget{project_mapping_the_areas_of_mathematics}{}\subsection*{{Project: Mapping the Areas of Mathematics}}\label{project_mapping_the_areas_of_mathematics}
In trying to understand the big picture of math, we can make a map of how the various areas of math relate. In particular, what areas depend on what other areas?
I started by considering the areas of pure math listed in the \href{https://en.wikipedia.org/wiki/Mathematics_Subject_Classification}{Mathematics Subject Classification} used for organizing journals and their articles. Here's \href{
http://www.ms.lt/derlius/MatematikosSakosDidelis.png}{my first map}, which I drew by hand with Dia.
I used Wikipedia to learn about the different areas and make my best guesses as to which areas depended on which. I was surprised to see that Geometry is evidently a very basic area in math. Which leads me to wonder, What is Geometry? For me, that kind of a question is a step forward.
I need to find a tool to make more complicated maps. I ended up making my maps with \href{http://www.yworks.com}{yEd}, which is available for free. It's a well rounded tool.
\begin{itemize}%
\item There are a variety of ways to import data from Excel spreadsheets. I imported a list of 100 nodes that way.
\item But the graphical user interface is also just right for creating notes and edges. I quickly created another 100 nodes and 300 edges.
\item And there is a variety of export options including SVG, HTML Image Map and HTML Flash Viewer. I will show some examples of the latter.
\end{itemize}
\href{http://www.ms.lt/derlius/Math/MathWays2/mathways2.html}{Here's a flash viewer of one map of mathematical areas.}
At the bottom I've placed the math areas which are starting points for math such as ``logic'' and ``geometry'' seem to be. Then each arrow leads to a type of math that requires a bit more structure or knowledge. At the very top is ``number theory'' which seems to pull together absolutely every kind of math. You can zoom into the image using the ``zoom'' scale at top. Then you can move around the image using your browser's scroll bars on the right and on the bottom.
I've colored coded:
\begin{itemize}%
\item yellow nodes are areas of theoretical math
\item orange nodes are areas of applied math
\item blue nodes are math structures known for their beauty
\item green nodes are math structures that I think would be helpful to be familiar with
\item purple nodes are for ways of figuring things out which I'm systematizing (they appear in the second map)
\item I also want to add dualities that link various areas and structures.
\end{itemize}
The new map has twice as many nodes but it hasn't made things clearer for me. However, the last map was not scalable, which is to say, I couldn't make it any bigger. Whereas this new map I could probably grow to include 10,000 nodes, or simply a node for every math page in Wikipedia. So I can play around with this new map and I think within a year I will find helpful ways of organizing the big picture in math.
yEd provides a variety of layouts. Above, I used organic, which is most compact, but there are also hierarchical, orthogonal, circular, tree, radial, series parallel.
\href{http://www.ms.lt/derlius/Math/MathWays3/mathways3.html}{Here is a map based on the circular view.} You can zoom in. This view was very helpful for seeing how the nodes group together by subject. There do seem to be some general patterns in terms of content. I tried to pick a node from each group and make a large node so that it would stand out. The groups are I think more arbitrary than they may seem, however. Anyways, this was helpful.
\href{http://www.ms.lt/derlius/Math/MathWays3/mathways3.graphml}{Everybody is welcome to download the data and try it out in yEd.}
\vspace{.5em} \hrule \vspace{.5em}
\hypertarget{blog}{}\subsection*{{Blog}}\label{blog}
\textbf{2016.05.22}
Today, Sunday, I'll be taking the train for a day trip to Kaunas. So I'll have some time to collect some links for my map. I also need to research and think through my talk on beauty in mathematics. So that can inform my map as well. I'm also realizing which concepts in math are most relevant for my philosophy, so I will try to see what happens if I make them central. In particular, I am identifying God with ``unmarked opposites'' as in the case of the two imaginary square roots of -1. So that imaginary world is the ``spiritual world'', whereas the ``real world'' is based on ``marked opposites'' 1 and -1. I also just recently learned of the ``field of one element'', first because it appeared on the list of beautiful structures, and then yesterday from John Baez's first lecture on \href{http://math.ucr.edu/home/baez/qg-fall2007/}{Geometric Representation Theory}. I'm imagining that the ``field of one element'' might model God, especially as he goes beyond himself. And the ``roots of unity'' might relate to my ``divisions of everything''. So I want to find especially links from such areas in Math that I think are key. My hypothesis is that if I elaborate and highlight the concepts in Math that might express my philosophical concepts, then my map of areas of mathematics will organize itself in revealing ways. As things stand, it's just a spaghetti diagram. :(
\textbf{2016.05.16}
I wrote a letter about the little known fact that \href{(https://groups.google.com/forum/#!topic/mathfuture/ZGkQe_kSkQI}{the generating function of the Catalan numbers is the limit of the polynomials which generate the Mandelbrot set}. I find this highly interesting because the Catalan numbers count well ordered sets of parentheses, precisely the kinds of expressions that are processed by context-free grammars. And a complex number can be interpreted as two infinite sequences of 1s and 0s, perhaps an input tape and an output tape. So my hunch is that:
\begin{itemize}%
\item the Catalan function converges when the processing of the parentheses is successful
\item it is bounded when there are only finitely many ``mistakes''
\item it goes off to infinity if there are an unbounded number of ``mistakes'' where a ``mistake'' may be that the number of open parentheses is slightly more than the number of closed parentheses.
\end{itemize}
I found the main hand book on (especially complex) \href{http://algo.inria.fr/flajolet/Publications/book.pdf}{analytic combinatorics} which describes the connection but in terms of the height of binary trees. It has lots of links from the Catalan numbers (and other key numbers) to other areas of math such as the Chebyshev polynomials (and other orthogonal polynomials), and the Bernoulli distribution (and other probability distributions). I also found a book that relates the \href{http://www.amazon.com/-Catalan-Numbers-Diagonal-Harmonics-University/dp/0821844113/ref=sr_1_5?ie=UTF8&qid=1463389854&sr=8-5&keywords=%22catalan+numbers%22}{q-t-Catalan numbers} to the Macdonald polynomials which are relevant to root systems and everything Lie representational, I think. So I have lots of new connections to make in my map of mathematical areas.
\textbf{2016.05.14}
Hello, David, John and all! I learned of the Azimuth Project through John Baez's website, blogs and videos, which I'm very grateful for as currently I'm trying to learn enough advanced math to get a sense of the big picture. I would like to share some of my projects that I imagine could be relevant here. I am thinking of writing about them on this page and then somebody may suggest on what pages I might pursue them.
[[David Tanzer]], I very much enjoyed your post about [[Blog - Zero to the X]]. These are the kinds of math ideas that I'm keen to think about. I read on your page:
\begin{quote}%
My plan is to study math and science and then teach it to colleagues in software development. We need more scientists to solve the myriad of problems that beset the human race, and the world of programmers looks like a good recruitment base for the sciences. In the process I hope to develop myself as a scientist!
\end{quote}
This sentiment has come up recently in the \href{https://groups.google.com/forum/#!forum/mathfuture}{Math Future google group}, which has some very creative educators for math, computers, engineering and science, mostly as relates to high school, though.
I have a Ph.D. in Mathematics and a B.A. in Physics but my main interest has always been ``to know everything and apply that knowledge usefully'', for example, by saving the planet. I'm writing a book about my philosophy and I want to show its implications for math and physics. So there is a lot of math that I am trying to learn now. As one project, I am making a map of the areas of math.
category: people
\end{document}