Sindbad~EG File Manager
%PDF-1.4
9 0 obj
<< /S /GoTo /D (Outline0.1) >>
endobj
12 0 obj
(Introduction)
endobj
13 0 obj
<< /S /GoTo /D (Outline0.1.1.1) >>
endobj
16 0 obj
(School Of Athens)
endobj
17 0 obj
<< /S /GoTo /D (Outline0.1.2.2) >>
endobj
20 0 obj
(Pythagoras and Euclid)
endobj
21 0 obj
<< /S /GoTo /D (Outline0.1.3.4) >>
endobj
24 0 obj
(Postulates versus Axioms)
endobj
25 0 obj
<< /S /GoTo /D (Outline0.1.4.6) >>
endobj
28 0 obj
(Euclid's 48 Constructions)
endobj
29 0 obj
<< /S /GoTo /D (Outline0.2) >>
endobj
32 0 obj
(Geometry as Computer Science)
endobj
33 0 obj
<< /S /GoTo /D (Outline0.2.1.17) >>
endobj
36 0 obj
(Geoscript)
endobj
37 0 obj
<< /S /GoTo /D (Outline0.2.2.18) >>
endobj
40 0 obj
(www.dynamicgeometry.org)
endobj
41 0 obj
<< /S /GoTo /D (Outline0.2.3.19) >>
endobj
44 0 obj
(Book I, Prop. 2)
endobj
45 0 obj
<< /S /GoTo /D (Outline0.3) >>
endobj
48 0 obj
(Algebra as Geometry)
endobj
49 0 obj
<< /S /GoTo /D (Outline0.3.1.22) >>
endobj
52 0 obj
(Descartes)
endobj
53 0 obj
<< /S /GoTo /D (Outline0.3.2.23) >>
endobj
56 0 obj
(Descartes's geometric arithmetic)
endobj
57 0 obj
<< /S /GoTo /D (Outline0.4) >>
endobj
60 0 obj
(Geometry as Algebra)
endobj
61 0 obj
<< /S /GoTo /D (Outline0.4.1.25) >>
endobj
64 0 obj
(The Algebraic View)
endobj
65 0 obj
<< /S /GoTo /D (Outline0.4.2.26) >>
endobj
68 0 obj
(Circle-circle continuity and line-circle continuity)
endobj
69 0 obj
<< /S /GoTo /D (Outline0.4.3.30) >>
endobj
72 0 obj
(Poncelet and Steiner)
endobj
73 0 obj
<< /S /GoTo /D (Outline0.4.4.34) >>
endobj
76 0 obj
(Circles of Zero Radius)
endobj
77 0 obj
<< /S /GoTo /D (Outline0.4.5.37) >>
endobj
80 0 obj
(Projection)
endobj
81 0 obj
<< /S /GoTo /D (Outline0.4.6.38) >>
endobj
84 0 obj
(Models of the Elementary Constructions)
endobj
85 0 obj
<< /S /GoTo /D (Outline0.5) >>
endobj
88 0 obj
(Connections to Field Theory)
endobj
89 0 obj
<< /S /GoTo /D (Outline0.5.1.39) >>
endobj
92 0 obj
(Coordinatization)
endobj
93 0 obj
<< /S /GoTo /D (Outline0.5.2.40) >>
endobj
96 0 obj
(Ziegler)
endobj
97 0 obj
<< /S /GoTo /D (Outline0.5.3.41) >>
endobj
100 0 obj
(Q\(\))
endobj
101 0 obj
<< /S /GoTo /D (Outline0.6) >>
endobj
104 0 obj
(Axiomatic Theories of Geometry)
endobj
105 0 obj
<< /S /GoTo /D (Outline0.6.1.43) >>
endobj
108 0 obj
(Constructive Geometry)
endobj
109 0 obj
<< /S /GoTo /D (Outline0.6.2.51) >>
endobj
112 0 obj
(Intuitionistic Geometry IECG)
endobj
113 0 obj
<< /S /GoTo /D (Outline0.6.3.53) >>
endobj
116 0 obj
(Apartness)
endobj
117 0 obj
<< /S /GoTo /D (Outline0.6.4.55) >>
endobj
120 0 obj
(Stability Axioms)
endobj
121 0 obj
<< /S /GoTo /D (Outline0.7) >>
endobj
124 0 obj
(Proof theory of ECG and IECG)
endobj
125 0 obj
<< /S /GoTo /D (Outline0.7.1.58) >>
endobj
128 0 obj
(Uniform Validity)
endobj
129 0 obj
<< /S /GoTo /D (Outline0.7.2.60) >>
endobj
132 0 obj
(Extraction of Algorithms from Proofs)
endobj
133 0 obj
<< /S /GoTo /D (Outline0.7.3.63) >>
endobj
136 0 obj
(Constructions and classical logic)
endobj
137 0 obj
<< /S /GoTo /D (Outline0.7.4.64) >>
endobj
140 0 obj
(Realizability)
endobj
141 0 obj
<< /S /GoTo /D (Outline0.7.5.68) >>
endobj
144 0 obj
(Double negation interpretation)
endobj
145 0 obj
<< /S /GoTo /D (Outline0.7.6.69) >>
endobj
148 0 obj
(Dialectica interpretation)
endobj
149 0 obj
<< /S /GoTo /D (Outline0.7.7.70) >>
endobj
152 0 obj
(What comes out of the dialectica interpration)
endobj
153 0 obj
<< /S /GoTo /D (Outline0.8) >>
endobj
156 0 obj
(Conclusion)
endobj
157 0 obj
<< /S /GoTo /D (Outline0.8.1.71) >>
endobj
160 0 obj
(Conclusion)
endobj
161 0 obj
<< /S /GoTo /D (Outline0.8.2.72) >>
endobj
164 0 obj
(Open Problems)
endobj
165 0 obj
<< /S /GoTo /D [166 0 R /Fit ] >>
endobj
169 0 obj <<
/Length 2202
/Filter /FlateDecode
>>
stream
x��Z[s�~ׯ�[������U4�L���>�}`V���(�"���X�$�*mby���wp���L�d*pm�eJz����[� v���3��L�t�@}ZzL;Ń6�)��TN��9�X�i��������^-���Q��b��g�7�}|?���qid p���^�,䇨�V���9r����I�I,�@FǕ1�x8�-bI��$��8c7����_!d8#��S��ļ�)�>1��,���!p墈���Ls��L�H
K����U���W4���Hfn����1� 'Q�z�
��W���L:�f�u2��,,D��,�q�'S�*��h{;��u<zI=b�^=@'�W �eDs�㓒n��7�m�Q�r�?�D:�L�(E�O�vߐ$���0�?0�����{��� D.�é�/C�o-PB�0_���d0�Y��i�wاp��=D�,�E��{�S����I��c��������[}�_uU2XI5{d�+A뜐��f.q�\Z*�0��Jj��b��r�s}!SV�#�
*,�s٥�#��Q�ȓ�BҲGy�1�P���ӱ��h ��~�_�S�\���`�ӄ#Ǯ��4�:hiĦ����F���W�#�Zn�z�en(�>QC}QcH�IC[J�e�W���>�ա"O]].�H��d;RV���&*բ�T��26��{���j�CA?�j�8ܼ�f�ׄ���G��zM�\���tnT�5�J4\�m����٫��|���p���Ph@�Q�1D���L�<����qy��lr����|*'4xG7ˇ�]�=����ȃE��l�Ϋ�c�%���Y!����r��#�.�i��<I��Y3���*߿^.~���z��>$����|[b �DI�B#ȶ���r�aESǍ�n���;m��G�F�]�*��ļ��x}?�Hv;���r������) �~8�����O�c�J�cp
�I納wK��,֩�X"D����֕�#W�*!y�|x(z���q�����]���ΏW�e�2�2n{�H; ��� t�1@���W�]�'�T��~��֕Nh}��;'�w�����s
��j#��S�E�)+���H�f�3r�"�?P �$u��d. ���fZO.�5h.{_|�����q��l;HU�V��g�M�"��wOW�z{��V#A�t`�#h5N�Ɉ|���OUS�i�
�̎��#�NJ�5I�Fi���Rn�ȉ*/���9Q@��ty�-�o��}C&�����j��*�&Ru�6\5�Y���o��y��;{'��9���A%UU7��5�}���mHʠ
W:�зj�i^
��l�n��S�X� aJc���O?�WO%���/5c,v��{m����,H�
L��|q��'��� ��zV�G���u�){mYY4
������e4'� �M��c_8F>'��B�+��5�)� �pY�?z�������i��Ҕ�`R���_|z�e��G���>� ����,O�<4�NaYh��KU�KJ��i���Y��C���J���x�lJ~N1�Ơ�F�d<��;P=J��S���{����]�=)�z���Tzq�$WA��(�����?�b�*f�M��Έ��ܚ�y��fw7�;��e����錜�z�����l��>�z��&��<���>��t(2�g�u
�QE��.��%�\ؽ66蘬C=�c���&�S9K}����Y��ΓfV{�"�Ri�H������115}���$$�� Qzu�}�0˱2ӷ�N���L�O���4H��zV,~������#�ܭ)'��7��Pa����~Lep��_��K|������ϖ7~��m>���N�Ne�Q�-���W�y�J���oG�mpb1�#�V���=j�k�4!,5<��o����Ǵ�s6�0**�ϻ�o���Z�Ɲ�D�VS�h_>d}\�A{���5�'�3J�D��b��Yt��+Q_�YX���ٻ3��y��X���� Y7b=��i���/U]�{)݁��r��=���!�J��c}��t��l$XK<�)�J9ҩR��Hɮ�7�w�%����y�"x�F���z\֗h�_@��|0����L�om���'���-on���)8��G5���az܄�ظ (�6ږ� ���
endstream
endobj
166 0 obj <<
/Type /Page
/Contents 169 0 R
/Resources 168 0 R
/MediaBox [0 0 362.8347 272.1261]
/Trans << /S /R >>
/Parent 215 0 R
/Annots [ 170 0 R 171 0 R 172 0 R 173 0 R 174 0 R 175 0 R 176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R 185 0 R 186 0 R 187 0 R 188 0 R 189 0 R 190 0 R 194 0 R 195 0 R 196 0 R 197 0 R 198 0 R 199 0 R 200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 212 0 R ]
>> endobj
167 0 obj <<
/Type /XObject
/Subtype /Image
/Width 966
/Height 720
/BitsPerComponent 8
/Length 238759
/ColorSpace /DeviceRGB
/Filter /DCTDecode
>>
stream
��� JFIF H H ���Photoshop 3.0 8BIM� x H H 28���>FG{� H H �( d � ' ` � 8BIM� H H 8BIM� 8BIM
8BIM'
8BIM� H /ff lff /ff ��� 2 Z 5 - 8BIM� p ����������������������� ����������������������� ����������������������� ����������������������� 8BIM @ @ 8BIM � � _ � �� ~ ��� JFIF H H �� 'File written by Adobe Photoshop� 4.0 �� Adobe d� �� �
�� _ �"