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.1.5.14) >>
endobj
32 0 obj
(Circles of Zero Radius)
endobj
33 0 obj
<< /S /GoTo /D (Outline0.1.6.16) >>
endobj
36 0 obj
(www.dynamicgeometry.org)
endobj
37 0 obj
<< /S /GoTo /D (Outline0.1.7.17) >>
endobj
40 0 obj
(Book I, Prop. 2)
endobj
41 0 obj
<< /S /GoTo /D (Outline0.1.8.20) >>
endobj
44 0 obj
(Projection)
endobj
45 0 obj
<< /S /GoTo /D (Outline0.1.9.21) >>
endobj
48 0 obj
(Models of the Elementary Constructions)
endobj
49 0 obj
<< /S /GoTo /D (Outline0.2) >>
endobj
52 0 obj
(Connections to Field Theory)
endobj
53 0 obj
<< /S /GoTo /D (Outline0.2.1.22) >>
endobj
56 0 obj
(Coordinatization)
endobj
57 0 obj
<< /S /GoTo /D (Outline0.2.2.23) >>
endobj
60 0 obj
(Ziegler)
endobj
61 0 obj
<< /S /GoTo /D (Outline0.2.3.24) >>
endobj
64 0 obj
(Q\(\))
endobj
65 0 obj
<< /S /GoTo /D (Outline0.3) >>
endobj
68 0 obj
(Axiomatic Theories of Geometry)
endobj
69 0 obj
<< /S /GoTo /D (Outline0.3.1.26) >>
endobj
72 0 obj
(Constructive Geometry)
endobj
73 0 obj
<< /S /GoTo /D (Outline0.3.2.34) >>
endobj
76 0 obj
(Intuitionistic Geometry IECG)
endobj
77 0 obj
<< /S /GoTo /D (Outline0.3.3.36) >>
endobj
80 0 obj
(Apartness)
endobj
81 0 obj
<< /S /GoTo /D (Outline0.3.4.38) >>
endobj
84 0 obj
(Stability Axioms)
endobj
85 0 obj
<< /S /GoTo /D (Outline0.4) >>
endobj
88 0 obj
(Proof theory of ECG and IECG)
endobj
89 0 obj
<< /S /GoTo /D (Outline0.4.1.41) >>
endobj
92 0 obj
(Uniform Validity)
endobj
93 0 obj
<< /S /GoTo /D (Outline0.4.2.43) >>
endobj
96 0 obj
(Extraction of Algorithms from Proofs)
endobj
97 0 obj
<< /S /GoTo /D (Outline0.4.3.46) >>
endobj
100 0 obj
(Constructions and classical logic)
endobj
101 0 obj
<< /S /GoTo /D (Outline0.4.4.47) >>
endobj
104 0 obj
(Realizability)
endobj
105 0 obj
<< /S /GoTo /D (Outline0.4.5.51) >>
endobj
108 0 obj
(Double negation interpretation)
endobj
109 0 obj
<< /S /GoTo /D (Outline0.4.6.52) >>
endobj
112 0 obj
(Dialectica interpretation)
endobj
113 0 obj
<< /S /GoTo /D (Outline0.4.7.53) >>
endobj
116 0 obj
(What comes out of the dialectica interpration)
endobj
117 0 obj
<< /S /GoTo /D (Outline0.5) >>
endobj
120 0 obj
(Conclusion)
endobj
121 0 obj
<< /S /GoTo /D (Outline0.5.1.54) >>
endobj
124 0 obj
(Conclusion)
endobj
125 0 obj
<< /S /GoTo /D [126 0 R /Fit ] >>
endobj
129 0 obj <<
/Length 2305
/Filter /FlateDecode
>>
stream
x��ZYs7~ׯ��RU!��x[۫���ƒ�e�f4��I[��ߧ׀��RV�M�qŜ��}b� �?�G�2�Ψ�F�fu��5̽9�f���CT�5��;#�ꤲDXA�0�ܵ�CaX����}n�W327�
��**H�ߒ�kR��wk%3�+� 8B�a�Y�L>E=�zD'���?NNOD�p�5.wg}@��T� I<UF�},Ƒ�s���y}j�*�TX��u��I�4�B���3���tVJ"��3��xAN��*�H�˫�|o$2W�����ޑp�Q~oI��Tï���f�u܅^-�D��(�q��Sf�
�^';�
�5�[�Q=lH��:@N@�r��G$ ����l������a�#�*d�}P'�CC����&����E#`T{k
�� ���,NQ|�}k�����|�Â�tf��f��n�� ��\���d^���ų��y�S��&M�A��c�������S}�Ou�3XN52��@k���g�#q��k,�` �+.a�8# ���Зc<d�8����"��]�2©*���� i�#�7�y��y�4�0� ^��ߑ�W�5e����H�4fб�s6��� �0��o��X�Y]3d^��a�hJ�!� 湮|��Dt�E�!�&n�Mx�a_n���mV��<eu83� q���H X��a�5Q�U��5��_'=ޣ`?/��֠+�GZ��i���4�|�I>E=��_�q ��d�Ш����&��<|B��
�)l:�W�'/���4��KhH<�-ʽ�������)��mN�k�]��ss:�3\��f}���w'g�e#o��������jDW�̄�/W���z�^�-��T�lAN�f�M��~(n����M^�98w_e���{��D%ҡ&���
L�PeS�:�A��)�
��0�DU���_�s�.���M��nN���-ۀU�6�̛�,i�M"��#�0i�9�Ѓ�hf���b�;|���P!�Ѩ I�:a@�3��8$�i9;���@�&B_���={�fi%[�pTK���Q�\)*-�ys!,$�ǜ(��d���v�a��՚!Ad"�Q
&H��J�;z4y�sdv<rY��xv=�4�/���0�C�/�\T�EX�1�mn��5�K��]�V��#*�!�+\2���:��#���=T��f:�*��
r�n��Y��8+��6���!$��$��A��4���T�S�9�JG?b�!a�C����ص)�n��%N�RRêw�BC����Z����� >�&_��:��7�D���*���vw��]L��,4Tm*��g A�L���a�ʈ��wM8�ô���.%�����W9��H�Ӑ^?�������/pt_�z�z�
�\gx�g4F��x�Q� ̓9�BtfJ=��O���N��R��w<�����#=�++f�TbV<�C�!���r��;jә,U@?���e��ȃ���u�~��;�g�U�T��f2��C�����k��R�
�]���1��V�3ȼ��+Aj9�������� �D���f#)�~��6�~s������������4�;*gr>K�)��kP��Eй[5�
hD��m�!��+l�3���b@ 4I�N�-�@2��o���0���R��(Jw��aq*���Z�!��:��
���x4���_���3���$\���\����Fw�*@��,JC
�E��=�<�
s.�V>� �Z,���ݵ�4���4_��]͛X1}\l���Gz��gӠ�"a)9��1'�#t�1�9����<��A#�t�&�tl��A0/c�Bز�Y��Q��ڠ��@��^��i(0��3����A���^�M�AH��C�j��D�_,b����`��0�O&�f! ���n�-����o�b�P0/wX<��;n���O��q��B�^���&�������}�40g���T����S^i�6�Ջ�v����M�ͨ�1��=�m9�mŁ��~��Lh���6q�~ܵ+���m6�@4t�"CR�O2�ke�oQ��ci�����o�K>pk�5>���FHH�G��t�M|���oW��es���3R1�v5��
1*���1�``z���R#�>v����#D�z�c}��6�Wk���c�)�|��?^�
���B)��y��
c����m�;����̥�Oq�|�E�^�]�0���/u��u:��$�J�^��}�:��G��q�������ʯ'�v3
endstream
endobj
126 0 obj <<
/Type /Page
/Contents 129 0 R
/Resources 128 0 R
/MediaBox [0 0 362.8347 272.1261]
/Trans << /S /R >>
/Parent 177 0 R
/Annots [ 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R 138 0 R 139 0 R 140 0 R 141 0 R 142 0 R 143 0 R 144 0 R 145 0 R 146 0 R 147 0 R 148 0 R 149 0 R 150 0 R 154 0 R 155 0 R 156 0 R 157 0 R 158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R 164 0 R 165 0 R 166 0 R 174 0 R ]
>> endobj
127 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� �� �
�� _ �"