-
Notifications
You must be signed in to change notification settings - Fork 0
/
inference_devices.aux
21 lines (21 loc) · 1.6 KB
/
inference_devices.aux
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
\relax
\providecommand\@newglossary[4]{}
\@newglossary{main}{glg}{gls}{glo}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Notation and Definitions}{2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.1}Turing Machine Notation}{2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.2}Inference Device Notation}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Inference Devices}{3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.2.1}Types of Inference}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Turing Machines}{3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.1}Deterministic Turing Machines}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.2}Non-deterministic Turing Machines}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.3}Universal Turing Machines}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Weak Inference}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Strong Inference}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Inference of Turing Machines}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Inference Complexity}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Incompressibility}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Physical Knowledge}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Open Questions}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {9}Acknowledgements}{14}}