[ebook] Piergiorgio Odifreddi - Filosofie della Matematica

19

Click here to load reader

Transcript of [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

Page 1: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

��������������� �����������������������������

��� �"!$#%� &'!$#%� &�(�)*�,+-!��")*)*�

.0/$121'3�4,5�6$7�7�8

9;:$< =>:�?�@BADC0E*FBAHG�ADI EJFBALK M�FNEJO EDMPA�Q-@N:SR�:0O =>:�O ELG�EJG�EJFBADI =*=*:�EJ:0ADT>T-AD?�=>C0@NT>E�UPO =>CSVG�FN@NT>=>C0=>:$< =JWDT>EJC0=%O @N:�EJ:�@NC0E*?�@PK I @ X�=>O O @NEJ:�=JQNY"9;:SG�ADI < @NT>EJFBADI =JW�K M�FNEJO EDMPA*?�=>FNFBA*CAD< =>CSVAD< @NT-A�Q�:�EJ:[ZJEJI I-\AS?�@NI =0ADFN< I E0T^]�=�_>` a%b>c^c>`BdJe�bSc>fJgBgNhiLhJj,b-iLhJj,`Bk^h�YSl*Z$Z$@BADC0=>:$< =JW�R�:�A<^ADFN=mAD< < @NZ$@N<-\ALG�R"\ES=>O O =>I =SO E$?�?�@NO;n;ADT>=>:$< =LO EJFNESG�=>IHT^]�@2ADo�o�@BAL@N:$< =>I =>O O =0AD:�p>@N< R�< < E0G�=>IFBACAD< =>CAD< @NT-A�W�=G�EJ@%G�=>ISFBAI @ X�=>O O @NEJ:�=JY�q*FN< I =>< <^AD:$< E[EDZ$Z$@BADC0=>:$< =JW"<^ADFN@%@N:$< =>I =>O O @G�EJO O EJ:�ES:�EJ:0=>O @NO < =>I =JWPO EJG�I^AD< < R�< < ES@N:T>EJ:�rJ@NR�:�p>@NEJ:�=sn,I^ALFNEJI E�Y

t"AsI @ X�=>O O @NEJ:�=sO RL?�@$R�:LO EJrJrJ=>< < EHO @$G�R"\E*n;ADI ='@N:SADFNC0=>:�Es?�R�=%?�@NO < @N:$< @$C0E$?�@�u-b-_>v^hDgN`w T>@NE�\=sG�ADI FBAD:�?�EJ:�=-x>U"G�I @NZ$@NFN=>rJ@BAD:�?�E*FBAsn,EJI CA�W>Em@NF�T>EJ:$< =>:$R�< E�Y2q*?S=>O O @�T>EJI I @NO G�EJ:�?�EJ:�E?�R�=�C0E$?�@*?�@H@N:$< =>:�?�=>I =�FBA�M�FNEJO EDMPA�?�=>FNFBA�CAD< =>CAD< @NT-A�W'=>:$< I^ADCSo�@*CADI rJ@N:�ADFN@%G�=>I@NF%FNEJI E�@N:$< =>I =>O O =�@N:$< I @N:�O =>T>E�W'CA0G�EJG�EJFBADI @%G�=>I T^]P\=�?�@%o�ADO O E�G�I EDM�FNE�CAD< =>CAD< @NT>E0=w I =>FBAD< @NZJADC0=>:$< =-x'ADFN< ELG�I EDM�FNEL=>O < =>< @NT>E�Y

y*:�< =>I p>E�C0E$?�E�WP:�EJ:�ZJ=>I o�ADFN=JW2?�@%I @ X�=>O O @NEJ:�=O R�FNFBA0CAD< =>CAD< @NT-AST>EJ:�O @NO < =0O =>CSVG�FN@NT>=>C0=>:$< =:�=>F*n;ADI =�=�G�I =>O =>:$<^ADI =�FBA[CAD< =>CAD< @NT-AO < =>O O^A�@N:�R�:�T>=>I < E�C0E$?�E�Y \zT^]�@BADI EST^]�=m{$R�=>O < E�ADG�G�I E$T>T>@NESG�R"\E0=>O O =>I =SG�I^AD< @NT-AD< ESO EJFN<^AD:$< ES?�AD@"CAD< =>CAD< @NT>@;U"=>O O E{$R�@N:�?�@J@N:$< =>I =>O O^AH:�=>T>=>O O^ADI @BADC0=>:$< =%C0=>:�Es@NF�K rJI^AD:�?�=JQ>G�R�o�o�FN@NT>E*?�AsR�:LFBAD< Es=>?L@JM�FNEJO EDM?�@$G�I EDn,=>O O @NEJ:�=s?�ADFNF;Q ADFN< I E�W |"CA%@N:LR�:LR�FN< @NCAsAD:�ADFN@NO @JI @NO R�FN<^A*=>O O =>I =*F;Q R�:�@NT>EHADG�G�I E$T>T>@NE?�@P@N:$< =>I =>O O =L@N:$< I @N:�O =>T>E�Y

9%< I =HC0E$?�@�?�@"I @ X�=>O O @NEJ:�=HO EJ:�ESo�I =>ZJ=>C0=>:$< =H?�=>O T>I @N< < @2:�=>FNFN=H< I =mO =>p>@NEJ:�@"O =>rJR�=>:$< @;Y

} ~��*�2�'�H�'�H�%��'�0�������-�H�L�L�H�'�

9;:�C0E$?�ECAD:�@NT^]�=>E�W2T>@;\E[T^]�=?�@NO < @N:�rJR�=0FBA�FN=>< < =>I^AD< R�I^A[?�ADFNFBA0M�FNEJO EDMPA�ADT>T-AD?�=>C0@NT-A\=�FBA[G�I =>?�EJC0@N:�AD:�p-A[?�=>FNFBA�O @N:$<^ADO O @ w @NFmk^dJiLb[O @H?�@NT>=-xSO R�FNFBA[O =>CAD:$< @NT-A w @NFLk^dDc>h�O @?�@NT>=-x*:�=>FNF;Q AD< < @NZ$@N<-\ALFN@N:�rJR�@NO < @NT-A�Ym9;:[G�ADI < @NT>EJFBADI =JWP:�=>FNFBA0FN=>< < =>I^AD< R�I^AFBALn,EJI CALG�I =>:�?�=@NF'O EJG�I^A-Z$ZJ=>:$< E�O R�F%T>EJ:$< =>:$R�< E�W'=>?�@N:�T-ADO @s=>O < I =>C0@%G�R"\E�?�@NZJ=>:$<^ADI =0F;Q R�:�@NT>E�ADO G�=>< < E

�^�$� �,�,�%�D�$�D�D�%� �>�-�N� �,� �D� �"�>�$�2� �D�>�,�,� �s� �-�B�2�D�J�H�>�,� �s�>�,� � �2�D� � �N� �"�D� �>� �,�,� �^ �2�D�J�$�>�,� �D�D¡-¢s£D� ¤-¥¤D�,�>� �s¦ §>§>¨D©

ª;«"� � �D�D�D¬J� �>�,�^¬*�;­D�2�D�>�,� �>�D�'�D�$�s�>�,� �s�>�,� �;�2�,�>�D�%� �>�s�"�>� � �D�D�J�D�,� �,�D�;­D�2�D�,� �D� � �>�D�'�,�D� � �'�,� �B¥�,�D�>� � �^ �D®��s�N� ­D�>�D�D�%�-� �,�,�D�,�%� � �>�D�D� �,�,� �D�>�%� �-�B�"�%� �-�,� �,� �>�,� � � �^�,�'� �>� �J� �>�>� �%� �-�B�>¡>�*�N� ­D�>�D�D�%�,� �-�,� �,��,�>� � �>�-�,�>�,���D�>�D�J� � � �>�,�>�,�-� �s� �>�-�N� �,�,� �>�D�>� �^¯^� �s� �-�,�,�>�%¤D�>�J� �>�,�N¡>�D�>�s�D�"� �>�D�>�,� �>�D�"°>� �J�>�,�J� �,�,�-�,�>�D��2±-�D�>�,� �D� �>�D�N©

²

Page 2: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

O =>:�O @No�@NFN=JYPq*FNF;Q ADFN< I E%=>O < I =>C0E�W-FBA%rJI^AD:�?�='FN=>< < =>I^AD< R�I^AH\= w O =>T>EJ:�?�E��"EJR�:�?��-x2K FN@N:�rJR�ADrJrJ@NET-ADI @NT>ES?�@PO @NrJ:�@ M�T-AD< ESADFPCADO O @NC0EHrJI^AD?�E�QNY

t"ALCAD< =>CAD< @NT-A�WDG�=>I*O R�AL:�AD< R�I^AL@N:$< I @N:�O =>T-A�W�G�R"\ESO ZJEJFNrJ=>I =HR�:�Amn,R�:�p>@NEJ:�=m?�@"ADrDVrJI =>r$ADp>@NEJ:�=�?�=>FmFN@N:�rJR�ADrJrJ@NE�O R�R�:�T>EJ:$< =>:$R�< E�?�@HrJI^AD:�?�=[O @NrJ:�@ M�T-AD< E�W%=[?�@NZJ=>:$<^ADI ={$R�@N:�?�@%FNE�O G�R�:$< E[G�=>ISR�:�A�I @ X�=>O O @NEJ:�=T^]�=0rJ=>:�=>I @*rJI^AD:�?�=0FN=>< < =>I^AD< R�I^A�Y��*EJ:�\=R�:T-ADO E0T^]�=L=>O O^A0O @BASO <^AD<^A0R�< @NFN@Np>p-AD<^ASG�=>IHG�I E$?�R�I I =SADG�G�R�:$< EADFNT>R�:�@2rJI^AD:�?�@2FN@No�I @;W�T^]�=T>@*n,EJI :�@NO T>EJ:�E�rJFN@*=>O =>C0G�@H?�@sM�FNEJO EDMPA�?�=>FNFBA[CAD< =>CAD< @NT-AT>EJFHCADO O @NC0E�T>EJ:$< =>:$R�< EFN=>< < =>I^ADI @NE�Y

�"EJ@NT^]P\=*@NF�FN@N:�rJR�ADrJrJ@NE*]�Am@N:0<^ADFN@�=>O =>C0G�@�R�:0I R�EJFNELG�I @NCADI @NE�W-:�EJ:0O @PG�R"\Emn;ADI%ADFN< I ET>EJ:�{$R�=>O < E�< @NG�E�?�@sM�FNEJO EDMPA�?�=>FNFBA�CAD< =>CAD< @NT-A0T^]�=�gNb����Jb-_^gNh[=>?"Ws=>ZJ=>:$< R�ADFNC0=>:$< =JWrJE$?�=>I FBA�Y�ADrJrJ@sO R�rJFN@HADO G�=>< < @HCAD< =>CAD< @NT>@'?�@*<^ADFN@HADR�< EJI @*=>?�EJG�=>I =�:�EJ:�G�EJO O EJ:�E?�R�:�{$R�=%=>O O =>I =sC0EJFN< Es?�@$G�@ \Rm?�@$R�:LT>EJFNFBADrJ=2?�@$T>@N<^ADp>@NEJ:�@;W-T^]�=s:�=%@NO EJFN@N:�EsE*T>FBADO O @ M�T^]�@N:�EADFNT>R�:�@�ADO G�=>< < @;Y � �%AH?�AHO>\=*T^]�=*O @P< I^AD< <^AH{$R�@�?�@�n,EJI :�@NI =m`Be�j,b-_��P_ b-j,h��-`BdJe�`"?�@�<^ADFN@�EJG�=>I =?�A�R�:�G�R�:$< E�?�@sZ$@NO <^A[CAD< =>CAD< @NT>E�W"=�:�EJ:�c��P`Bb��Jh��-`BdJe�`^U�@N:�ADFN< I =G�ADI EJFN=JW%:�EJ:�O @G�I =>< =>:�?�=m?�@"O T>EJG�I @NI =mR�:�Am:�=>T>=>O O @N<-\A�W�CAm?�@PO R�rJrJ=>I @NI =mR�:�AmG�EJO O @No�@NFN@N<-\A�Y

9;:{$R�=>O <^ASO =>?�=mT>@2FN@NC0@N< @NADCSEmAmn,EJI :�@NI =HR�:=>FN=>:�T>E0?�@":�EJC0@�=H< @N< EJFN@;W$G�=>I*EJI @N=>:$<^A-VC0=>:$< E w O EJ< < EJFN@N:�=-AD:�?�EJ:�=JWPT>EJCSR�:�{$R�=JW�F;Q ADFN< ESFN@NZJ=>FNFNES:�=>F'G�AD:�EJI^ADCAmFN=>< < =>I^ADI @NE$x>Ymy*:<^ADFN='=>FN=>:�T>Em:�EJ:0\=*ADFN< I E*T^]�=s@NF$I @ X�=>O O Em?�@�FN=>< < R�I =sG�=>I O EJ:�ADFN@;WD=s:�=%I @ X�=>< < =sFBA*T-ADO R�ADFN@N<-\A�Y

t'Q ADR�< EJI ='G�@ \RmAD:$< @NT>E*T^]�='G�I EJG�EJ:�@BADC0E*\=��������������������� � ^W>=>rJFN@JO < =>O O EHCAD< =>CAD< @NT>E=>?�ADR�< EJI =m?�@"FN@No�I @P?�@"rJ=>EJC0=>< I @BA�U2@N:"!*gN`Bk^bme�b>g���hJb>c>b�#Jb>gBgNbSiLb-_ hJu-` �DgN`BbH=�!Hj,j,_ hJu-b-_^c>dgNdSc���b^k^k%$�`Bd0=>rJFN@"n;ALR�:[R�O E0=>O < =>O E�?�@2G�ADI^AD?�EJO O @2=>?�@N?�=>=LCAD< =>CAD< @NT^]�=JW$=mF;Q =>?�@Np>@NEJ:�=T>EJC0C0=>:$<^AD<^A*?�A'&�ADI < @N: (mADI ?�:�=>IH\=mR�< @NFN=*G�=>I*I^ADT>T-ADG�=>p>p-ADI Z$@NO @;Y

t"ACADO O @NCALG�I EDn,EJ:�?�@N<-\A0?�@%I @ X�=>O O @NEJ:�=0CAD< =>CAD< @NT-ALO @%< I EDZJA0n,EJI O =S:�=>FNFN=0EJG�=>I =?�@*)'��+�����,�-.��/�� ^US:�=100j,f$_>v^hJiLb-e�j,`�#Jb>g��J`BdJu-hJe�b32�4dJ_^gNb>c^cJW'=:�=>F*C0EJ:$R�CS=>:$<^ADFN=576 f$dJiLdSc>b-e8�-h:9-f$hDgN`Bj�;h�W�@NFPT>R�@"G�I EJ<^ADrJEJ:�@NO <^AS\=mADG�G�R�:$< ESR�:CAD< =>CAD< @ T>E�Y

q*?1<:����=���>?>@<:�����/�FBASCAD< =>CAD< @NT-A w ?�ASFNR�@2?�=^M�:�@N<^AST>EJC0=SK @NF"rJI^AD:�?�=L=L?�R$VI^AD< R�I E�C0=>I @N< E[?�=>FHG�=>I @NE$?�E�T>R�FN< R�I^ADFN=n,I^A�@NF�&=>?�@NE�z2ZJE�=�@NF*< =>C0G�E�:�EJO < I E�Q xS]�An,EJI :�@N< E0F;Q @NO G�@NI^ADp>@NEJ:�=HG�=>I'0 g?�J`Bf$d-k^d"#Jb>gBgNb*��b-_^gNb:#J`%u-b-j,_ d�WPFBASO R�A0EJG�=>I^A0G�@ \R[CAD< R�I^A=>?=>O < =>O^A�Y

t'Q EJG�=>I^AS?�@�AB����C��1��.?���:D7����C����HO @'G�R"\E0o�=>:�T-ADI^AD< < =>I @Np>p-ADI =ST>EJC0=mR�:�A0FN=>< < =>I;VAD< R�I^AL?�=>F2G�ADI^AD?�EJO O E�YHz2rJFN@"O R�oJ\ E2@NFPn;ADO T>@N:�ES?�@�F�=>:�EJ:�=JW�FN=>O O =LC0EJFN< @PFN@No�I @"?�@?GsR�O O =>FNF;W=*O;n,I R�< <-\ELCADrJ:�@ M�T-ADCS=>:$< =%F;Q @N:$M�:�@N< EH=*FBAHFNEJrJ@NT-AHG�=>IsO^ADrJrJ@�=HI^ADT>T>EJ:$< @PO G�ADI O @P@N:SZJADI @N=I^ADT>T>EJFN< =JY"9;:HG�ADI < @NT>EJFBADI =JUP@N:7Hm`Nc>k-fJc^c>`BdJe�b%=�!*gNj,_ b%`Be�9-f$`Nc>` �-`BdJe�`�@JG�I @NC0@�I^='@N:7J%`Be8�-`BdJe�`^W576 !*gNb���$0='0 gPgN`Bv-_ d'#J`2c>hJv-v-`BhS@PO =>T>EJ:�?�@;Y

K*��.? ML��� �����N�]�AS@N:$< =>I I EJ< < E0FBASO R�A0AD< < @NZ$@N<-\ALG�E$=>< @NT-ASG�=>IHO < R�?�@BADI = w n,I^ASF;Q ADFN< I E$xCAD< =>CAD< @ T-A�W-=s{$R�=>O <^AmO @PA�O"ADT>T>@BAH@N:$n;AD< < @�:�=>FNFBA*O R�AHEJG�=>I^AmG�EJO < =>I @NEJI =JW$@N:SG�ADI < @NT>EJFBADI =:�=>FNFBAmO =>p>@NEJ:�=SK M�FNEJO EDMPA�Q w ADG�G�R�:$< E$x%?�=>rJFN@PO < =>I C0@N:�AD< @MPsf$h8#Jb-_>e�`^Y

)'��NB=���>�Q1R�.?��>?����.A-ZJ=>ZJAs@N:$ZJ=>T>=sO < R�?�@BAD< EHCAD< =>CAD< @NT-A2M�:L?�ADFNF;Q @N:�@Np>@NE w T>EJC0=I^ADT>T>EJ:$<^AH:�=>FNFBAHO R�AmADR�< EJo�@NEJrJI^A-MPA:S�#J`NgNbDx>Y2z2rJFN@�]�AHO T>I @N< < ELO^ADrJrJ@�O R0?�@�=>O O^A w I^ADT>T>EJFN< @@N:@T'` U>_ b0b0c>b��Je�`;x>W'=0R�< @NFN@Np>p-AD< E�@NF%T-ADFNT>EJFNE�T>EJCSo�@N:�AD< EJI @NE0G�=>IST>EJO < I R�@NI =3T'b-e�j,dJiL`NgNhiL`NgN`BhJ_V#J`W#J`���d-b-iL`^YX%Y � �,�MZ��>�D�D�$¡�[?\B]/^�_�_ ^a`V`/^�b�^^¡�c2�>�,� �>�-�,�N¡-¦ §�d^¢D¡>�$©�e/e-©f/g �>�B  hD�,�>�D�'�>�D�D�D�-�,�"�D�D�>�,�,�,�8i8j�k%l8]/k%_ mB]/^�_ _ k�b�kV`%monVl8^2��[�k/p�m b�m l�qam�]/^�_ _ nMros�m b�m q�n"�,��tP�>�,°>� � ¡>�?[�k

_ no`%maj�k�j�nVu�^MrVk%_ v%^�w�w%k*]/^�_ _o\ xWj�j�ma]/^�l�qo^s�,�*y"� �,�,�MzN�>�D�,�>�,�D� � �,�>�,�D�J�-� �%�>� �,�,�%{;©

|

Page 3: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

�' ����B��>�QW�����B�� ����?��>?��,�8��>%W�G�I @NCAL?�@'=>O O =>I =@N:$< =>I :�AD< E:�=>@'T-ADC0G�@2?�@'T>EJ:�T>=>:$V< I^ADC0=>:$< EmO <^ADFN@N:�@NO < @�=H?�@�n;ADI :�=*@NF�T>=>:$< I E0?�@PI EJ<^ADp>@NEJ:�=*?�=>FNFBAmO R�AmEJG�=>I^ALFN=>< < =>I^ADI @BA�WJn,RR�:S@N:�O =>rJ:�AD:$< =*?�@�CAD< =>CAD< @NT-A�YPtP=*O R�=*I @ X�=>O O @NEJ:�@�O R0?�@�=>O O^ALO @�< I EDZJAD:�Em:�=70 g8�P_>`BiLdk^b-_ k%$�`BdL=JW�@N:0C0@NO R�I^AHC0@N:�EJI =JWJ@N:�sb���hJ_>j,d0k^hJe�k-_ d�Y

�'EJrJFN@BADCSE%T>EJ:�T>FNR�?�=>I =s{$R�=>O <^A*FN@NO <^A w T^]�=JWDO =>o�o�=>:�=*@N:�EJI r$AD:�@NT-A�W-T>EJC0G�I =>:�?�=%ADR�< EJI @?�@'FN@N:�rJR�AS@N:�rJFN=>O =JW"< =>?�=>O T-A�W2O G�ADrJ:�EJFBA�W�n,I^AD:�T>=>O =0=SI R�O O^AJxH=>O G�I @NC0=>:�?�E@NF'?�@NO^ADrJ@NE0?�@:�EJ:0A-ZJ=>I Z$@�G�EJ< R�< EL@N:�O =>I @NI =*:�EJC0@$@N<^ADFN@BAD:�@;Y �%EJ:�EJO T>@BADC0EHT>=>I < ESADR�< EJI @�?�@$n,EJI CADp>@NEJ:�=O T>@N=>:$< @ M�T-A w ?�A1�ADFNZJAD< EJI =��*R�ADO @NC0E$?�E�A��sADI FNE[z2C0@NFN@NE (mAD?�?�AJx>W2T>EJO,\ EsT>EJC0=0EJG�=>I =FN=>< < =>I^ADI @N=L?�@2@NO G�@NI^ADp>@NEJ:�=mO T>@N=>:$< @ M�T-A w AD?[=>O =>C0G�@NE:5"b0k^dDc>iL`Bk^dJiL`Bk%$�bLE322`%k^dJe"�-b-_ d?�@*9;<^ADFNE��sADFNZ$@N:�E$x>W'CA[:�EJ:�EJG�=>I =[?�@H@NO G�@NI^ADp>@NEJ:�=G�@ \R�O < I =>< <^ADC0=>:$< =�CAD< =>CAD< @NT-Aw =>T>T>=>< < ESn,EJI O =�J"f$_ dJ_HiLhJja$�b-iLhJj,`Bk-fJcH?�@2tP=>EJ:�ADI ?�E:$@N:�@NO r$ADFNFN@Bx>Y

� ���D���������[� �����*�m���������*�0����� �'�������! L�'�m�'�

t"A?�@NO < @N:�p>@NEJ:�=SCAD:�@NT^]�=-A0?�=>FNFBAG�I =>T>=>?�=>:$< =�O =>p>@NEJ:�=JW'Z$@NO <^A?�ADF'FBAD< E�EJG�G�EJO < E�W2?�@NO;V< @N:�rJR�=0FBAM�FNEJO EDMPA[ADT>T-AD?�=>C0@NT-A?�ADFNFBAFN=>< < =>I^AD< R�I^A�G�=>ISFBA�G�I =>?�EJC0@N:�AD:�p-A?�=>FNFBA�O =^VCAD:$< @NT-A*O R�FNFBALO @N:$<^ADO O @;W$=H@NFPO EJG�I^A-Z$ZJ=>:$< ES?�=>F"T>EJ:$< =>:$R�< ESO R�FNFBAHn,EJI CA�Y

�*EJ:�O =>CSo�I^AG�=>I-\E[T^]�=O @%G�EJO O^A�{$R�@%I @NZJEJFN<^ADI =SFBAT-ADI^AD< < =>I @Np>p-ADp>@NEJ:�=?�@��"EJR�:�?"UO @2G�R"\E@N:$n;AD< < @Pn;ADI =L?�=>FNFBASrJI^AD:�?�=mM�FNEJO EDMPA0AD:�T^]�=LR�O^AD:�?�ER�:�FN@N:�rJR�ADrJrJ@NES@N:�?�=>T>=>:$< =JYt'Q =>O =>C0G�@NE[T>FBADO O @NT>E�\=n,EJI O =�"mAD:$<-WsT^]�=�:�=>FNFBA�< E$T>T-AD:$< =[@N:$< I E$?�R�p>@NEJ:�=[ADFNFBA T'_>`Bj,`Bk^h#Jb>gBgNhL_ h��J`BdJe7�Pf$_ hLO @�O T>R�O^ALT>EJ@�FN=>< < EJI @P?�=>FNFBA*O R�A w G�=>I^ADFN< I EL=>Z$@N?�=>:$< =-x%@N:�AD?�=>rJR�AD< =>p>p-AFN@N:�rJR�@NO < @NT-A�WJ=HI @NC0G�@BAD:�rJ=sG�AD< =>< @NT-ADC0=>:$< =*?�@":�EJ:�A-ZJ=>I%@NFP< E$T>T>E0?�@ #*R�C0=JY

z2O @NO < EJ:�E*?"Q ADFN< I^A'G�ADI < =2M�FNEJO EDMmT^]�=%O^AD:�:�EsO T>I @NZJ=>I =JWJ='FBA'T>R�@$EJG�=>I^A*ADG�G�ADI < @N=>:�=%ADFNFBAFN=>< < =>I^AD< R�I^A�W"@N:�?�@NG�=>:�?�=>:$< =>C0=>:$< =L?�ADF'T>EJ:$< =>:$R�< EM�FNEJO EDM�T>E�Y��"EJO O @BADC0E0T>@N<^ADI =LT>EJC0==>O =>C0G�@�:�=>FPT-ADC0G�EmT^]�=*T>@P@N:$< =>I =>O O^A�W�ADrJFN@�=>O < I =>C0@P?�=>FNFNEmO Z$@NFNR�G�G�EmO < EJI @NT>E�W$@WHm`BhDgNd%��$�`?�@��2FBAD< EJ:�=L=L@NF�2�_ hJj,j,hJj,d0gNd%�J`Bk^d%$ &2gNdDc>d'&'k^d?�@�(�@N< < rJ=>:�O < =>@N: w R�:[G�E$=>CASO R�F2C0EJ:�?�E@NO G�@NI^AD< E�ADF*T-ADFNT>EJFNE�G�I EJG�EJO @Np>@NEJ:�ADFN=JW%ADG�G�ADI < =>:�=>:$< =�AD?�R�:�rJ=>:�=>I =[@N:�@Np>@BAD< E[T>EJF�Hmb_ b-_>f$i e�hJj,f$_ h0?�@2tPR�T>I =>p>@NE�WP=m< =>C0G�EJI^AD:�=-ADC0=>:$< =*T>EJ:�T>FNR�O E0?�A!)s`Bk^k^dDgNhk^dDc>iLd%�JdJe�`Bh��dJ_>j,hJj,`NgNbH?�@*�*R�=>:�=-ADR�x>Y

q�G�ADI < =HG�=>I-\E0<^ADFN@P=>T>T>=>p>@NEJ:�@;W�FBAmO R�o�ADFN< =>I :�@N<-\AL?�=>F"FN@N:�rJR�ADrJrJ@NEm:�=>FNFBAHM�FNEJO EDMPAmG�=>I;VC0=>< < =JW�=m:�=>@2T-ADO @2G�=>rJrJ@NEJI @"@NC0G�EJ:�=JW$?�@"=>Z$@N<^ADI =LR�:�ALFN=>< < R�I^AS?�@NI =>< <^A0?�=>FNFN=HEJG�=>I =JY \z?�R�:�{$R�=LG�EJO O @No�@NFN=�_ hJk^k^dJe�j,hJ_ bSFN=mM�FNEJO EDM�=LO =>:�p-AO :�AD< R�I^ADI FN=JW"=>?�@NF2n;AD< < E0T^]�=0:�EJ:[T>@O @BA*F;Q EJo�o�FN@NrJEs?�@�FN=>rJrJ=>I FN=sT>EJC0=%:�=>FNFBA*FN=>< < =>I^AD< R�I^AmEm?�@�G�I^AD< @NT-ADI FN=sT>EJC0=%:�=>FNFBA*CAD< =>CSVAD< @NT-A�W$]�AmT>=>I <^ADC0=>:$< =mT>EJ:$< I @No�R�@N< ESADFNFBAHFNEJI E w AD:�T>EJI^ALZ$@NZJAJx2G�EJG�EJFBADI @N<-\A�Y

�"=>I'{$R�AD:$< EHT>@�I @NrJR�ADI ?�A*G�@ \RL?�A*Z$@NT>@N:�E�WDFBAsM�FNEJO EDMPA*:�=>F�O =>:�O ESADT>T-AD?�=>C0@NT>Em\=sO <^AD<^AG�=>I C0=-AD<^AH?�@PCAD< =>CAD< @NT-As?�AD@�O R�EJ@PG�I @NC0EJI ?�@;Y +:$@�?�=>ZJEJ:�EL?�@NO < @N:�rJR�=>I =H{$R�@P?�R�=*< =>:$V?�=>:�p>=JU'@N:0R�:�ALFBAmCAD< =>CAD< @NT-AH\=H@NFPG�R�:$< ES?�@PG�ADI < =>:�p-A�W�=HO R?�@"=>O O^ALO @"T>EJO < I R�@NO T>EJ:�EM�FNEJO EDM�=0T^]�=�FN=O EJ:�E[@N:$< =>FNFN=>< < R�ADFNC0=>:$< =0G�EJO < =>I @NEJI @�Is:�=>FNF;Q ADFN< I^AFBA�CAD< =>CAD< @NT-A�\=�@NF,%Z��, �� �0°>� �D� �,�>� �>¡��D�"�,� � � �D� �D©"tP�>�,�,�"� � �,�>�,�*� �m�,� �>�,� �*�D�"�>� � �D�D�"�D�,� �,�-� �,�>�,� � �BzN«"�D�>�,�,� �s� �D�>¡

Y �s�J� �D�-� � �>¡ Y �,�>� � � �,�D¡�Z��>�,�s� �D� �D�2�%�$�>� � �,�%{P�,�D°>� �$� � � �s� �-�,�D�N�>�D�D�>�s� �-�,�>� �N®��,� �,�,�D¡D�>� ±-�D�D¡D�>�,� �D¡J��N�D�-� �D© g �>�s�'­D�s�D�>�,�>�,��c2� �>�,°.-2�,� � �,� �N¡D� �H�,� �,�s� �D�D�s�-�D� �,�D�D� �,�,�$� �>�,�,� �,�J�>�D�D�>�D�2�,� �s�D� � � � �s� �>�,��>°>� �D�,�,�>�,�J�,�>� � �D�D¡>� � ±-�D� �D�2�'°>�>�,�,�>�,�'�D� °>� �D� � � �s� �-�,�N¡^�'�>� �N� � �D� �,°>� �-©

/

Page 4: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

G�R�:$< Em?�@"ADI I @NZJE�WJ=*FBAHI @ X�=>O O @NEJ:�=HO R0?�@P=>O O^AmO @Po�ADO^AmO RSM�FNEJO EDM�=HAD?0=>O O^AL@N:$< =>FNFN=>< < R�ADF VC0=>:$< =*G�I =>T>=>?�=>:$< @;Y�'ADFN@�< =>:�?�=>:�p>=LO EJ:�ESo�I =>ZJ=>C0=>:$< =H?�=>O T>I @N< < =L:�=>FNFN=H?�R�=HO EJ< < EJO =>p>@NEJ:�@"O =>rJR�=>:$< @;Y

����� �������� ��� � � ��� ��� ��������� &��$& ���t"ASCAD< =>CAD< @NT-AmrJI =>T-A�WPo�ADO^AD<^A0:�EJ:[G�@ \R�O R�FNF;Q @N:$< R�@Np>@NEJ:�= w A0ZJEJFN< =Hn;ADFNFBADT>=-x*T>EJC0=m:�=>FT-ADO E�?�=>FNFBA�rJ=>EJC0=>< I @BA[=>rJ@Np>@BAD:�A�E�o�ADo�@NFNEJ:�=>O =JW*CA[O R�FNFBA�?�@NC0EJO < I^ADp>@NEJ:�=JW%?�@NZJ=>:�:�=G�I =>O < E[R�:�C0E$?�=>FNFNE?�@%I^ADrJ@NEJ:�ADC0=>:$< E�WPCASn,=>T>=�AD:�T^]�=0O EJI rJ=>I =:$R�EDZ$@%G�I EJo�FN=>C0@'?�@rJ@NR�O < @ M�T-ADp>@NEJ:�=JWsT^]�=�O < @NC0EJFBADI EJ:�E[FBA[:�ADO T>@N<^A�?�=>FNFBA�M�FNEJO EDMPA[?�=>FNFBA�CAD< =>CAD< @NT-A@N:O =>:�O E0ADT>T-AD?�=>C0@NT>E�Y

K� ���,���>?�*O @�@N:$< =>I =>O O-\ESADFNFBAs:�AD< R�I^AH?�=>rJFN@"d%���Jb-j,j,`"CAD< =>CAD< @NT>@;W^=*T>=>I TJ\EL?�@�O G�@N=>r$ADI =T^]�=0T>EJO^A0n,EJO O =>I E[FN=SM�rJR�I =0?�@%T>R�@%O @%< I^AD< <^A-ZJA:�=>FNFBArJ=>EJC0=>< I @BA�Yt"AO R�A�O EJFNR�p>@NEJ:�=ADF%G�I EJo�FN=>CA0n,R�@NF%:$R�T>FN=>E[?�@sR�:�A�:$R�EDZJA0M�FNEJO EDMPA�U0FN=SM�rJR�I =rJ=>EJC0=>< I @NT^]�=SO EJ:�E�FN=`o#Jb^hDgN` �%�-h��-`BdJe�` w E0FN=Hn,EJI C0=��>xs?�=>rJFN@"EJrJrJ=>< < @"M�O @NT>@2G�=>I T>=>G�@N< @'C0=>?�@BAD:$< =HFN=mO =>:�O^ADp>@NEJ:�@;Y�"EJ@NT^]P\=%<^ADFN@�@N?�=-ADFN@Np>p-ADp>@NEJ:�@ w ES`o#Jb^bDx2G�EJO O =>rJrJEJ:�EmR�:�A*G�=>I;n,=>p>@NEJ:�=*T^]�=srJFN@$EJrJrJ=>< < @ w T>EJO,\ ET>EJC0=HZJ=>:�rJEJ:�E$xsG�=>I T>=>G�@N< @':�EJ:�]�AD:�:�E�W�=>O O =S:�EJ:�O EJFNE0=>O @NO < EJ:�E0@N:�?�@NG�=>:�?�=>:$< =>C0=>:$< =?�A%{$R�=>O < @�='T>EJO < @N< R�@NO T>EJ:�EHR�:mC0EJ:�?�E%G�ADI^ADFNFN=>FNEsAs{$R�=>FNFNEsO =>:�O EJI @BADFN=JWDCA%O EJ:�E*AD?�?�@NI @N<;V< R�I^AmFBASK ZJ=>I^A�Q$I =-ADFN<-\A�W$?�@PT>R�@P@NFPC0EJ:�?�EmO =>:�O EJI @BADFN=m\=HO EJFN<^AD:$< ELR�:�ALG�ADFNFN@N?�A*@NC0CADrJ@ :�=w R�:mC0EJ:�?�Es?�@JEJCSo�I ='G�=>I T>=>G�@N< =sO R�FNFN='G�ADI =>< @�?�@JR�:�AsT-A-ZJ=>I :�AJx>Y't"AsrJ=>EJC0=>< I @BA%?�@NZ$@N=>:�=?�R�:�{$R�=m@NFPC0E$?�ESAD< < I^A-ZJ=>I O ET>R�@":�EJ@"ZJ=>:�@BADC0ESALT>EJ:�EJO T>=>:�p-A0?�=>F2C0EJ:�?�EL?�=>FNFN=m@N?�=>=JW=LT>EJC0=m<^ADFN=SADT>{$R�@NO <^ASR�:"Q @NC0G�EJI <^AD:�p-Amn,EJ:�?�ADC0=>:$<^ADFN=JU%O R�FNFBASG�EJI <^A0?�=>FNF;Q q*T>T-AD?�=>C0@BAR�:0C0EJ< < ESADC0C0ED:�@NZJAsT^]�=m:�EJ:?�EDZJ=>ZJAD:�Em=>:$< I^ADI =mT>EJFNEJI EST^]�=HFBAL@NrJ:�EJI^A-ZJAD:�E�Y

�'�����/,���,��� ��*O @�@N:$< =>I =>O O-\EL@N:$ZJ=>T>=*?�=>FNFBA*:�AD< R�I^AH?�=>F'iLb-j,d�#JdmCAD< =>CAD< @NT>E�Y�z2rJFN@�O @NO;V< =>CAD< @Np>pJ\EHFBA*FNEJrJ@NT-A*T>EJC0=%O T>@N=>:�p-AL?�=>F�I^ADrJ@NEJ:�ADC0=>:$< E�W>=>:$R�:�T>@BAD:�?�ELT^]�@BADI^ADC0=>:$< =%T^]�=FN='O R�=sFN=>rJrJ@$=>I^AD:�EmO <^AD< =%O,\ E$n,EJI CSR�FBAD< =2O R�F�C0E$?�=>FNFNEs?�=>FNFN=%?�@NC0EJO < I^ADp>@NEJ:�@JCAD< =>CAD< @NT^]�=w AD?H=>O =>C0G�@NE�W>FBA'FN=>rJrJ=2?�@JT>EJ:$< I^AD?�?�@Np>@NEJ:�='O R�FJC0E$?�=>FNFNE'?�=>FNFN=2?�@NC0EJO < I^ADp>@NEJ:�@-@N:�?�@NI =>< < =-x>WCALAD:�T^]�=mT^]�=L=>O O^A0?�EDZJ=>ZJAL=>O O =>I =ST>EJ:�O @N?�=>I^AD<^AS@N:�?�@NG�=>:�?�=>:$< =L?�ADFNFBAmCAD< =>CAD< @NT-A�WJ=Am{$R�=>O <^ASG�I =>T>=>?�=>:$< =JY�:��>W,]�A[R�O^AD< E�FBA�rJ=>EJC0=>< I @BA�=>R�T>FN@N?�=-A[T>EJC0=0R�:�E�?�=>@sn,EJ:�?�ADC0=>:$< @%?�=>FNFBA�O R�A

M�FNEJO EDMPA�W�:�=>FNFBASG�I @NCALG�ADI < =S?�=>FNFBA�T'_>`Bj,`Bk^h:#Jb>gBgNh�sh��J`BdJe�)sf$_ h�U*=>O O^AT>EJO < @N< R�@NO T>=SFBAn,EJI CA w E�W�@N:[< =>I C0@N:�@"C0E$?�=>I :�@;W�@NF2G�ADI^AD?�@NrJCAJx'?�=>FNFBASG�=>I T>=>p>@NEJ:�=SO =>:�O EJI @BADFN=LG�=>ImrJFN@EJrJrJ=>< < @$=>O < =>I :�@ w T>EJO,\ E�T>EJC0='@NF$< =>C0G�E*T>EJO < @N< R�@NO T>=sFBA%n,EJI CA%?�=>FNFBA*G�=>I T>=>p>@NEJ:�=*@N:$< =>I :�AJx>Yt'Q @N?�=-A�?�@�"mAD:$<\=�T^]�=[FNE[O G�ADp>@NE�:�EJ:�O @BA w T>EJC0=0G�=>I"�2FBAD< EJ:�=-xLR�:"Q @N?�=-ADFN@Np>p-ADp>@NEJ:�=?�=>FNF;Q =>O G�=>I @N=>:�p-A[O =>:�O EJI @BADFN=JW':P\=<^AD:$< E�C0=>:�E w T>EJC0=0G�=>I'�*=��s< EJ:�xLR�:�A�{$R�ADFN@N<-\A?�=>FC0EJ:�?�E*=>O < =>I :�E�W$o�=>:�O,\ EPR�:[h��P_>`BdJ_>`"T^]�=sn;A*G�ADI < =*?�@�T>@;\EmT^]�=*O @NrJ:�@ M�T-AH=>O O =>I =LK R�CAD:�@;QNW=sT^]�=*:�EJ@�R�O @BADC0E*G�=>I%EJI r$AD:�@Np>p-ADI =*FN=s:�EJO < I =*G�=>I T>=>p>@NEJ:�@PO =>:�O EJI @BADFN@;YW�*EJ@�G�=>I T>=>G�@BADC0E@NFJC0EJ:�?�EsT>EJC0='=>R�T>FN@N?�=>EH:�EJ:LG�=>I T^]P\=s=>O O EmT>EJO,\ E$O @BA w G�=>I "mAD:$<"@NF$G�I EJo�FN=>CA%?�@$T>EJC0='FBAI =-ADFN<-\A%O @BAsZJ=>I^ADC0=>:$< =2:�EJ:m]�AsADFNT>R�:mO =>:�O E�WDZ$@NO < EsT^]�=%G�EJO O @BADC0E%O EJFN<^AD:$< EsO^ADG�=>I =%T>EJC0==>O O^AO @%G�I =>O =>:$<^A�h[e�dJ`;x>W"CASG�=>I T^]P\={$R�=>O < En;A0G�ADI < =0?�=>F':�EJO < I E�C0E$?�E0?�@%=>O O =>I =JUK @NF�T>EJ:�T>=>< < E0?�@"O G�ADp>@NES:�EJ:]�ALEJI @NrJ@N:�=*=>C0G�@NI @NT-A�WJCAS\=HR�:"Q @N:�=>Z$@N<^ADo�@NFN=*:�=>T>=>O O @N<-\A0?�=>FG�=>:�O @N=>I E�QNY��� �B�D� �D�>�D� �,� �^�'�>�D�D�D�-�,�2�D��^�ma]�nVr>®�¬J°>�D�,�D¡ �N�>�,�s�D©

Page 5: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

�*=>FNFBA%O =>T>EJ:�?�AsG�ADI < ='?�=>FNFBA�T'_>`Bj,`Bk^h�#Jb>gBgNh sh��J`BdJe )sf$_ h�"mAD:$<PG�I =>O =>:$<^A*R�:HO @NO < =>CAT^]�=SG�R"\EEJrJrJ@2=>O O =>I =?�=>O T>I @N< < E�o�I =>ZJ=>C0=>:$< =ST>EJC0=mn,EJ:�?�AD< E0O R�T-AD< =>rJEJI @N= w K T>EJ:�T>=>< < @?�=>FNF;Q @N:$< =>FNFN=>< < E�Q xPT^]�=*O EJ:�EmO =>C0G�FN@NT>=>C0=>:$< =%FN=s:�EJp>@NEJ:�@�G�I @NC0@N< @NZJ='?�@�R�:�A*n,EJI CSR�FBADp>@NEJ:�=?�=>F�T-ADFNT>EJFNE*?�=>@�G�I =>?�@NT-AD< @�C0E$?�ADFN=JYPtP=s@N?�=>=s< I^ADO T>=>:�?�=>:$<^ADFN@ w K T>EJ:�T>=>< < @�?�=>FNFBAsI^ADrJ@NEJ:�=JQ xO @2EJ< < =>:�rJEJ:�EC0=>?�@BAD:$< =HR�:[G�ADO O^ADrJrJ@NEADF2FN@NC0@N< =H?�@'ADFNT>R�:�=L?�@'<^ADFN@"T-AD< =>rJEJI @N=JY�"mAD:$<C0EJO < I-\E�W^C0=>?�@BAD:$< =2{$R�AD< < I EHAD:$< @N:�EJC0@N=JW T^]�=%FN='@N?�=>='< I^ADO T>=>:�?�=>:$<^ADFN@$O EJ:�E*T>EJ:$< I^AD?�?�@N< EDVI @N=JW-=2:�='?�=>?�R�O O =sFBA'O =>rJR�=>:$< =%T>EJ:�T>FNR�O @NEJ:�=JUPO =%O @JI @NT^]�@N=>?�='T>EJC0G�FN=>< =>p>p-As?�ADFNFBA'I^ADrJ@NEJ:�=JWG�=>I C0=>< < =>:�?�E0FBAmT>EJ:�O @N?�=>I^ADp>@NEJ:�=L?�@"@N?�=>=SK ADFPFN@NC0@N< =JQNWJO @"T-AD?�=L:�=>FNF;Q @N:�T>EJ:�O @NO < =>:�p-A�Yst"AT>EJ:�T>FNR�O @NEJ:�=S?�@."mAD:$<LO @%G�R"\E[I @ n,EJI CSR�FBADI =m?�@NT>=>:�?�E[T^]�=0O =0FBAI^ADrJ@NEJ:�=SZ$R�EJFN=S=>O O =>I =T>EJ:�O @NO < =>:$< =JW$:�EJ:SG�R"\Em=>O O =>I =mT>EJC0G�FN=><^A w :�=>F�O =>:�O EL?�@�G�EJ< =>I%?�=>T>@N?�=>I =HEJrJ:�@�G�I EJo�FN=>CAT^]�=H=>O O^ASO @"G�EJ:�r$AJx>Y

(HFN@J=>O =>C0G�@$n;AD< < @$?�@NC0EJO < I^AD:�EsT>EJC0='{$R�=>O < EmrJ=>:�=>I =s?�@$M�FNEJO EDMPAsO @BA*O <^AD< EHT-ADI^AD< < =>I;V@Np>p-AD< ES?�ASR�:n,EJI < =mT>EJ:$< =>:$R�< E0CAD< =>CAD< @NT>E�Y'z2O O E0{$R�@N:�?�@":�EJ:�G�EJ< =>ZJAL:�EJ:�G�EJI <^ADI =AmI @NO R�FN<^AD< @�T>EJ:�T>I =>< @2:�=>FNFBAmCAD< =>CAD< @NT-AsO < =>O O^A�Y��"=>IsT>@N<^ADI =H?�R�=H=>O =>C0G�@P=>O < I =>C0@;W$z2R$VT>FN@N?�=%G�I E$?�R�O O =*rJFN@��%gNb-iLb-e�j,`PO R�FNFBAsO G�@N:$<^A*?�=>FNFN=s:�=>T>=>O O @N<-\Am?�@$I @NrJEJI =sFNEJrJ@NT>EHAD:�ADFN@Np>p-AD< =?�AHq*I @NO < EJ< =>FN=JW$C0=>:$< I =*(��EJ?�=>F�CAD< =>CAD< @Np>pJ\E*O @BAH@NF�I^ADrJ@NEJ:�ADC0=>:$< E*T^]�=HFBA*T>EJ:�T>FNR�O @NEJ:�=?�@ "mAD:$<-W2=>?�EJ< < =>:�:�=0R�:�E�?�=>@%I @NO R�FN<^AD< @%G�@ \R�O @NrJ:�@ M�T-AD< @NZ$@2?�=>FNFBAFNEJrJ@NT-ASCAD< =>CAD< @NT-Aw :�=>FNFBA%n,EJI CA�U�O =*R�:LO @NO < =>CAsn,EJI CADFN=2G�=>I%F;Q ADI @N< C0=>< @NT-A*\=sT>EJ:�O @NO < =>:$< =*:�EJ:LG�R"\EH=>O O =>I =T>EJC0G�FN=>< E$x>Y

��� � ��������� &��$& ��� ���� � ��� � � ��� � � ��*R�=>O <^A�< =>:�?�=>:�p-An,R�R�:�AI =-ADp>@NEJ:�=0< =>C0G�EJI^AD:�=-A�ADFNFBASG�I EJrJI =>O O @NZJA�@N:$< I E$?�R�p>@NEJ:�=S?�@C0=>< E$?�@sADO < I^AD< < @*:�=>FNFBA�CAD< =>CAD< @NT-A�WP=O @*G�R"\E[T>EJ:�O @N?�=>I^ADI =�T>@NI T>EJO T>I @N< <^A�< =>C0G�EJI^ADF VC0=>:$< =mn,I^A0@NF*²������0=S@NF*²���/�²JWP?�AD< =S?�@'G�R�o�o�FN@NT-ADp>@NEJ:�=SI @NO G�=>< < @NZJADC0=>:$< =L?�=>F*b��J_>` �.$c>k%$�_>` U>j2?�@ ��I =>rJ=H=H?�=>F"FBA-ZJEJI ELO R�FNF;Q @N:�T>EJC0G�FN=>< =>p>p-AH?�@?(��EJ?�=>F;Y

z2O O^A0O @2G�R"\E0T-ADI^AD< < =>I @Np>p-ADI =0T>EJC0=H@NF2G�I E$?�EJ< < E0?�@2R�:�ASI @ X�=>O O @NEJ:�=LG�I =^V;rJ@NR�?�@Np>@BADFN=w @N:�O =>:�O E�FN=>< < =>I^ADFN=-x>W*@N:�T>R�@H@sn,EJ:�?�ADC0=>:$< @sADT>{$R�@NO <^AD:�E�R�:�I R�EJFNE[n,EJ:�?�ADC0=>:$<^ADFN=0=ZJEJI I =>o�o�=>I E�G�I =>T>=>?�=>I =[=>?�@N:�?�@NI @Np>p-ADI =JW'@N:$ZJ=>T>=?�@sO =>rJR�@NI ==�AD:�ADFN@Np>p-ADI =JW'FBA�G�I^AD< @NT-A?�=>FNFBAmCAD< =>CAD< @NT-A�Y

t"AmrJ=>:�=>I^ADFN@N<-\AL?�@P<^ADFN@"ADG�G�I E$T>T>@"]�AmR�:@N:�?�R�o�o�@NEmn;ADO T>@N:�E�W$T^]�=HG�R"\ELn;ADI%I @NT>EJI ?�ADI =JWALO =>T>EJ:�?�A0?�=>FNF;Q AD< < @N< R�?�@N:�=*T^]�=LO @2AD?�EJ< <^ALZJ=>I O E?�@"=>O O @;W�FN=HM�FNEJO EDM�=H?�=>@2G�I @NC0EJI ?�@P?�AR�:FBAD< E�W$=>?�@�n,R�C0=>< < @ w ESFBALG�EJGCSR�O @NT-x%?�ADFNF;Q ADFN< I E�Y2tP=HG�I @NC0=*I @NO G�EJ:�?�EJ:�ES@N:C0E$?�EEDZ$Z$@NEHADFNFN=s?�EJCAD:�?�=%EDZ$Z$@N= w =s{$R�@N:�?�@�R�:�@NZJ=>I O^ADFN@Bx2T^]�=*T^]�@NR�:�{$R�=sO @�G�EJ:�=*:�EJ:0ADG�G�=>:�A@N:�@Np>@�A*I @ X�=>< < =>I = w T>EJC0=%:�=>F�< @N< EJFNE*?�@�R�:L{$R�AD?�I EH?�@�(mADR�rJR�@N:"U2K ?�As?�EDZJ=sZJ=>:�@BADC0E�W>T^]�@O @BADC0E�W>?�EDZJ=%AD:�?�@BADC0E��$Q x>Y�9"O =>T>EJ:�?�@�O < R�p>p>@NT-AD:�EHFBA*T>R�I @NEJO @N<-\AsFN=>< < =>I^ADI @BA w E*CSR�O @NT-ADFN=-x>WI @NT^]�@N=>?�=>:�?�E0ADFPCADO O @NC0EHR�:C0@N:�@NCSEH?�@"ADF n;ADo�=>< @NO C0E�Y

9;F%n;ADO T>@N:�E[?�=>FNF;Q =>O < I =>C0@NO C0E�@N:$< =>FNFN=>< < R�ADFN= w CADFBAD< < @BA0@N:$n;AD:$< @NFN=0?�=>FNFBA�I @ X�=>O O @NEJ:�=-xO @'T>EJ:�@NR�r�\E�W�:�=>F%T>@N:�{$R�AD:$< =>:�:�@NE@N:[{$R�=>O < @NEJ:�=JW2ADFNFBALG�=>I O EJ:�ADFN@N<-\A?�=>@'G�I =>?�@NT-AD< EJI @;U*n,RT>EJO,\ E�T^]�=HFN=srJ=>O <^Am=*FN=*?�@BAD< I @No�=*?�@���I =>rJ=JW�GsR�O O =>FNF;W�(�@N< < rJ=>:�O < =>@N:"W�#*@NFNo�=>I <%=��%I EJR �%=>IM�:�@NI EJ:�EL?�AmR�:FBAD< EmT>EJ:F;Q AD< < @NI^ADI =*F;Q AD< < =>:�p>@NEJ:�=H?�=>FPG�R�o�o�FN@NT>E�W$=H?�ADFNF;Q ADFN< I EHT>EJF"I =>O G$V@N:�rJ=>I =H@PCAD< =>CAD< @NT>@�?�@PG�I EDn,=>O O @NEJ:�=JY

l*rJrJ@;W2T-ADFNCAD< @2@so�EJFNFNEJI @;W"G�EJO O @BADC0ErJR�ADI ?�ADI =AD@%G�I EJrJ=>< < @s=>I EJ@NT>@s?�=>FNFBA0M�FNEJO EDMPAG�I =^V;rJ@NR�?�@Np>@BADFN=S@N:�C0E$?�E�G�@ \R�?�@NO <^ADT>T-AD< E�W'=:�EJ<^ADI =0T^]�=[\=Sn,EJI O =C0=>rJFN@NE0I @NT>EJI ?�ADI =@

Page 6: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

O R�EJ@�=>O G�EJ:�=>:$< @�G�=>I%T>@;\EHT^]�=*]�AD:�:�E*n;AD< < Em@N:SADFN< I @�T-ADC0G�@;U���I =>rJ=s= (�@N< < rJ=>:�O < =>@N:S:�=>FNFBAM�FNEJO EDMPAs?�=>F�FN@N:�rJR�ADrJrJ@NE�W #*@NFNo�=>I <'=�%I EJR �%=>I':�=>FNFBA*CAD< =>CAD< @NT-A'G�R�I^A�Y?$EJFN<^AD:$< E7GsR�O;VO =>FNFPI @NCAD:�=JWJo�=>:�T^]P\=m@NFPG�@ \R0< @N< EJFBAD< ELC0EJ:�?�AD:�ADCS=>:$< =JWJ< I @NO < =>C0=>:$< =HI @N?�@NC0=>:�O @NEJ:�AD< E�Y �

t'Q ADO G�=>< < ESG�I =^V;rJ@NR�?�@Np>@BADFN=H?�=>F"< @NG�ES?�@"I @ X�=>O O @NEJ:�=m?�@PT>R�@2O < @BADC0Em< I^AD< <^AD:�?�E\=mo�=>:=>Z$@N?�=>:�p>@BAD< E�?�ADF'n;AD< < E�T^]�=0=>O O^A[O @%@N:$< =>I =>O O^A[:�EJ:�?�@sADO G�=>< < @sO G�=>T>@ M�T>@*?�=>FNF;Q AD< < @NZ$@N<-\ACAD< =>CAD< @ T-A w ?�=^M�:�@Np>@NEJ:�@;W'?�@NC0EJO < I^ADp>@NEJ:�@%=�< =>EJI =>C0@Bx>W'o�=>:�O,\ EH?�@srJ=>:�=>I^ADFN@N<-\A�W%?�@*T>R�@G�I EJG�EJ:�@BADC0EHo�I =>ZJ=>C0=>:$< =mADFNT>R�:�@"=>O =>C0G�@PO @NrJ:�@ M�T-AD< @NZ$@;Y

�B���/,���=���B����C��*=�)'.����/�� � J]�AD:�:�E*T>=>I T-AD< EH=%G�I EJG�EJO < E*O @NO < =>C0@$R�:�@NZJ=>I O^ADFN@JG�=>I2F;Q @N:$< =>I^A%CAD< =>CSVAD< @NT-A�W%o�ADO^AD< @*O R�FNFBA[FNEJrJ@NT-A�Y��'ADFN@sO @NO < =>C0@*O EJ:�E�G�I E$?�EJ< < @H?�=>FNF;Q AD< < =>rJrJ@BADC0=>:$< E�G�I =^VrJ@NR�?�@Np>@BADFN=%T>R�@"ADo�o�@BADC0EHADT>T>=>:�:�AD< E�W�=>?0@NF�FNEJI Emn;AD< Em< =>O < @NC0EJ:�@BA*?�=>FNFBAHG�=>I @NT>EJFNEJO @N<-\Am?�@<^ADFN@�@NC0G�I =>O =JU

� ��I =>rJ=�O @mO T>EJI ?"\E�?�@mT>EJ:�O @N?�=>I^ADI =�FBA�G�EJO O @No�@NFN@N<-\A�?�@LADR�< EJI @ n,=>I @NC0=>:$< E #J`*�P_ d%$�P_>`Bb-j�;hH=>O G�I @NC0@No�@NFN@J:�=>F�O @NO < =>CA�W-=*GsR�O O =>FNF�C0EJO < I-\E*T^]�=sT>@;\EHG�EJI <^A-ZJAHAD?�?�@NI @N< < R�I^AADFNF;Q @N:�T>EJ:�O @NO < =>:�p-A�Y

� GsR�O O =>FNF$O @$O T>EJI ?"\EH?�@$T>EJ:�O @N?�=>I^ADI =sFBA%G�EJO O @No�@NFN@N<-\A%?�@�ADR�< EJI @ n,=>I @NC0=>:$< E�#Jb>g�c>`Nc>j,b-iLhO < =>O O E�W�=7(��EJ?�=>F"C0EJO < I-\EmT^]�=mT>@;\ESG�EJI <^A-ZJALADFNF;Q @N:�T>EJCSG�FN=>< =>p>p-A�Y

t"AmG�I EJG�EJO <^AL?�@Pn,EJ:�?�ADI =*F;Q @N:$< =>I^AmCAD< =>CAD< @NT-A*O RR�:O @NO < =>CAmR�:�@NZJ=>I O^ADFN=Ho�ADO^AD< EO R�R�:�A[O R�A�G�ADI < =[:�EJ:�\=�:$R�EDZJA[:�=>FNFBA[CAD< =>CAD< @NT-A�W2:P\=�G�I @NCA�:P\=�?�EJG�E ��I =>rJ=�=GsR�O O =>FNF;U%o�ADO < @2I @NT>EJI ?�ADI =L@NF"O @NO < =>CAL?�@'z2R�T>FN@N?�=LG�=>IHFBALrJ=>EJC0=>< I @BA�W�=>?�@NF2O @NO < =>CAL?�@F�=>I C0=>FNEL= ��I^AD=>:��J=>F"G�=>I*FBAm< =>EJI @BAm?�=>rJFN@"@N:�O @N=>C0@;Y

9LI @NO R�FN<^AD< @*?�@�(��EJ?�=>Fsn;AD:�:�E�rJ@NR�O < @Np>@BA�?�=>FNF;Q @N?�=-ADFN=0?�@*R�:�O @NO < =>CA[R�:�@NZJ=>I O^ADFN=JW%=G�I EDZJAD:�E�T^]�=0=>O O E�:�EJ:�\=I =-ADFN@Np>p-ADo�@NFN=S@N:�R�:�O =>:�O E�G�I =>T>@NO E�U0:�EJ:�=>O @NO < EJ:�E�O @NO < =>C0@n,EJI CADFN@$T>EJ:�O @NO < =>:$< @;W�O R��0T>@N=>:$< =>C0=>:$< =HG�EJ< =>:$< @"=HT>EJC0G�FN=>< @;Y

�HAD< R�I^ADFNC0=>:$< =JWP=>O O @s:�EJ:�=>O T>FNR�?�EJ:�E�FBA0G�EJO O @No�@NFN@N<-\A0T^]�=0F;Q @N?�=-ADFN=mO @BAI =-ADFN@Np>p-ADo�@NFN=@N:�R�:�O =>:�O E�G�@ \R�G�I^ADrJCAD< @NT>E�USG�EJ< I =>o�o�=[T>@NE�\=�=>O @NO < =>I =[R�:�O @NO < =>CA[@sT>R�@*< =>EJI =>C0@T>EJC0G�I =>:�?�AD:�EL< R�< < E0T>@;\E0T^]�=S\=mR�CAD:�ADC0=>:$< =*?�@NC0EJO < I^ADo�@NFN=JY'z�F;Q =>O G�=>I @N=>:�p-AAD< < R�ADFN=G�=>I C0=>< < =S?�@%A-ZJAD:�p-ADI =ST-AD:�?�@N?�AD< @;UHO @BA@NF'O @NO < =>CA0?�@MGsR�O O =>FNF%T^]�=S{$R�=>FNFNE?�=>FNFBA0< =>EDVI @BA?�=>rJFN@s@N:�O @N=>C0@'O EJ:�E[@N:$n;AD< < @sG�=>I;n,=>< <^ADC0=>:$< =AD?�=>rJR�AD< @sG�=>IS@so�@NO EJrJ:�@sAD< < R�ADFN@s?�=>@CAD< =>CAD< @ T>@ w n,EJI O =HG�=>I*R�:C0EJ< @NZJEHT>@NI T>EJFBADI =JU2T^]�=m:�EJ:0O @"FBA-ZJEJI^AmADFP?�@�n,R�EJI @P?�@P=>O O @Bx>WAD:�T^]�=sO =*FBA*O EJFNR�p>@NEJ:�=s?�@�G�I EJo�FN=>C0@�ADG�=>I < @�G�EJ< I =>o�o�=*I @NT^]�@N=>?�=>I =*R�:�AHFNEJI EH=>O < =>:�O @NEJ:�=JY�  Y �>� �,�2�;­D��"�D�,�,� � �-­D�'�>�,�,� �-�D�,�"� ��Z��,� �s� ��"�>¤J� �D�J� ��� �'� � �,�,� �,�>�,�D�,�P�D� �$¦ § ���D¡^�s�s �"¤J� �%�D�>�,�

�;­D�P� �%�D�>�,�D�,�2�D�D�,�>� �"�D�,� �s� �% �"�>�%¤D� °>�D�D®J� �,�,�'�D�>�s�,�>� �'�D�>�* �2�>�D�D�>�,�2�'�,� �,� �,�,�>�,�-�D�D¤J� �s�s�>°>°>� �>��^�>� �>�,�"� �>�s�2�H�D�,� �$�MtP�>�,°>� �?zN�J� �P�D�>�H�D�>�,� �>�,�"�D�$�>�D�,�>�,�J�;­D�'�D�>�*� �$� �-�,� �,� �,�,�>�D�'� �H±-�D� �,�,�%�,� �D�>¡±-�D�>� ���^���-� �>¡/Z��,�>�D�,����c2�>�D�D��{;¡^�s�* �2�>�D�D�>�,�2���-�>� � ­D� �D� �,�;� ��zN� �>�B  hJ� �>�s�"� g ­-�D�,�;­D� � � {$�J� �P�s�>�,� �-��J�>� � �,� � ��zN�,���,� � �>�,�D�J�;­D���-�>�,�,�,�2� �*�,� ¬J�D�^ �D¡-�D�>�J�s�;­D�'°>� �$� �,�*°>�B �s�,�,�>�,�%�>�,�,� °>�D�>�,�D¡-�>�D�D�D�-�,�%�J� �,�;­$ ��D�>�H�>�>� � �^�%�D�H�D�,� �s� �s�;­D�'� �,�s�>�D�D�>�D�D�>°>°>� �'±-�D�>�,�J� �,� � �D�,� �>�%�D���>�D�,�>�,�$�-� � � �D� �-�,�>� �D�*�D� �,�,� �D� �-�,�N¡� �>�s�WtP�D�D� �s�MZ��>�,�,� �,�D����{;©

Page 7: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

K�����C�����=�=��

<:�� �+�����,$W'G�R�I�ADT>T>=>< <^AD:�?�E�@HC0=>< E$?�@mADO < I^AD< < @H@N:$< I E$?�EJ< < @H?�A��sAD:$< EJI-W*G�I EJG�EJO =[?�@G�I EDZJADI :�=HFBALn,EJ:�?�AD< =>p>p-AST>EJ:�C0=>< E$?�@"FBALT>R�@2O =>C0G�FN@NT>@N<-\AHn,EJO O =L@N:�AD< <^ADT>T-ADo�@NFN=JY �2=>T>:�@ VT-ADC0=>:$< =JWD=>rJFN@�G�I EJG�EJO =*@NF$G�I EJrJ=>< < E w T^]�=*?�@NZJ=>:�:�=s:�EJ< EmT>EJC0=��P_ d%�J_ hJiLiLh7#J`��m`NgNv^b-_>j x?�@'?�@NC0EJO < I^ADI =SFBAT>EJ:�O @NO < =>:�p-A�?�@%{$R�ADFNR�:�{$R�=0O @NO < =>CASn,EJI CADFN=LG�=>ILFBA0CAD< =>CAD< @NT-Aw @N:�T>FNR�O^A0{$R�=>FNFBAADO < I^AD< <^A=0@N:$M�:�@N< @NO <^AJx*C0=>?�@BAD:$< =mC0=>< E$?�@'O < I =>< <^ADC0=>:$< =ST>EJ:�T>I =>< @s=M�:�@N< @NO < @;Y

9;F2G�I EJrJI^ADC0CAm?�@ #*@NFNo�=>I <Hn,R�C0=>O O E@N:[C0EJ< ES?�ADFNFBAS?�@NO < @N:�p>@NEJ:�=mn,I^A0?�R�=S< @NG�@2?�@T>EJ:�O @NO < =>:�p-A0G�=>I*R�:�O @NO < =>CAmn,EJI CADFN=JU2R�:�E0@N:$< =>I :�E�W�T^]�=LI @NT^]�@N=>?�=mO EJFN<^AD:$< EST^]�=L:�EJ:O @BALG�EJO O @No�@NFN=mG�I EDZJADI =mO @BASR�:�Amn,EJI CSR�FBAmT^]�=LFBALO R�AS:�=>r$ADp>@NEJ:�=JW�=>?[R�:�E0=>O < =>I :�E�WPT^]�=I @NT^]�@N=>?�='T^]�=s:�EJ:mO @BAsG�EJO O @No�@NFN='G�I EDZJADI =2n,EJI CSR�FN="n;ADFNO =JY"t'Q @N:$< R�@Np>@NEJ:�=2?�@�#*@NFNo�=>I <"n,RmT^]�=@NF"G�I @NC0EL< @NG�E�\=LO R��0T>@N=>:$< =LG�=>ImF;Q AD< < @NZ$@N<-\AmCAD< =>CAD< @NT-A w G�EJ@NT^]P\=LC0=>< < =LADF2I @NG�ADI E0?�AT>EJ:$< I^AD?�?�@Np>@NEJ:�@BxP=JWDI @ n,=>I =>:�?�EJO @�O EJFN<^AD:$< EHA*G�I EJG�I @N=><-\Asn,EJI CADFN@D?�=>F�O @NO < =>CA�W-G�R"\EH=>O O =>I =?�=>O T>I @N< < E0@N:0C0E$?�ELO =>C0G�FN@NT>=JY2t"ALO G�=>I^AD:�p-AS?�@*#*@NFNo�=>I <s=>I^ALT^]�=Hn,EJO O =mG�EJO O @No�@NFN=*n;ADI FNEc>b-e8�-hS{$R�AD:$< @ M�T-AD< EJI @ w @NFNFN@NC0@N<^AD< @Nx>WD=H{$R�@N:�?�@P@N:0C0E$?�ELO R��0T>@N=>:$< =>C0=>:$< =HT>EJ:�T>I =>< E�Y

9;F%G�I EJrJI^ADC0CAS?�@ #*@NFNo�=>I <mn,R�C0=>O O E[@N:�T>I @NO @*?�ADFNFBA0I =-ADFN@Np>p-ADp>@NEJ:�= w ?�AG�ADI < =?�@(��EJ?�=>FBx2T^]�=mFBAH?�=>O T>I @Np>@NEJ:�=m@N:$< =>I :�AL?�@�R�:O @NO < =>CA�WJo�=>:�T^]P\=m=%OP=>< < @NZJADC0=>:$< =*G�@ \R0O =>CSVG�FN@NT>=�?�@m{$R�=>FNFBA�=>O < =>I :�A w T^]�=�I @NT^]�@N=>?�=[R�:�:$R�C0=>I E�`NgBgN`BiL`Bj,hJj,d�?�@m{$R�AD:$< @ M�T-AD< EJI @Bx>WI @NT^]�@N=>?�=m@N:C0E$?�EL=>O O =>:�p>@BADFN=0f$e[{$R�AD:$< @ M�T-AD< EJI = w T^]�=L=>O G�I @NC0=H@NFPn;AD< < ELT^]�=LR�:�Amn,EJI;VCSR�FBAm\=HR�:< =>EJI =>CALO =Sb>c>`Nc>j,bmR�:�ALO R�AL?�@NC0EJO < I^ADp>@NEJ:�=-x>Y

9LK G�I EJrJI^ADC0CS@;Q W�?�@%T>R�@%{$R�=>FNFNE?�@ #*@NFNo�=>I <S\=SR�:�=>O =>C0G�@NE�W"O EJ:�E�@N:[rJ=>:�=>I =0O EJrJ:�@rJI^AD:�?�@NEJO @�T>EJFNFN=>r$AD< @PAD?A-Z$ZJ=>:�@NC0=>:$< @�T^]�=LADT>T-AD?�EJ:�EL:�=>FNFBAmO =>rJR�=>:$< =HO R�T>T>=>O O @NEJ:�=LG�I =^VM�O O^AD<^A�U�O R�T>T>=>O O @LCAD< =>CAD< @NT>@%@N:�@Np>@BADFN@s?�@HR�:�A�?�@NO T>@NG�FN@N:�A�W*ADO G�=>< <^AD< @NZJ=[G�I =>CAD< R�I =o�ADO^AD< =0O R�R�:�A�Z$@NO @NEJ:�=0G�I =^V;rJ@NR�?�@Np>@BADFN=JW2O Z$@NFNR�G�G�E�?�@sO < I R�C0=>:$< @*AD?�=>rJR�AD< @sT^]�=G�EJI;V<^AD:�E0FBAS?�@NO T>@NG�FN@N:�ASAD?�R�:�EO <^AD?�@NE0?�@2CAD< R�I @N<-\A�W$I =^n,R�<^ADp>@NEJ:�=S?�=>F2G�I EJrJI^ADC0CAHT>EJC0=T>EJI EJFNFBADI @NEm?�@PR�:�ALZ$@NO @NEJ:�=HCAD< R�I^A�Y

�%@N< @BADC0E�W>G�=>I%O EJ< < EJFN@N:�=-ADI :�=*F;Q R�o�@N{$R�@N<-\As:�=>FNFBAHO < EJI @BAH?�=>FNFNEHO Z$@NFNR�G�G�EmCAD< =>CAD< @NT>E�W< I =H=>O =>C0G�@"O @NrJ:�@ M�T-AD< @NZ$@;U

� �*=>F � ���[qLY �HY29;G�G�E$T>I^AD< =�G�I EDZP\E[T^]�=[ADFNT>R�:�@s< @NG�@*?�@sFNR�:�=>< < = w M�rJR�I =�T>R�I Z$@NFN@ V:�=>=S?�=>FN@NC0@N<^AD< =m?�A0?�R�=0ADI T^]�@'?�@2T>=>I T^]�@BxmO EJ:�E{$R�AD?�I^ADo�@NFN@ w T>@NE�\=LI @N?�R�T>@No�@NFN@'AD?R�:�{$R�AD?�I^AD< E�T>EJ:�FBA[O < =>O O^A�ADI =-AJxSC0=>?�@BAD:$< =I @Nr$A�=�T>EJC0G�ADO O E�Y��'ADFN@sI @NO R�F V<^AD< @%rJ=>:�=>I^ADI EJ:�E[F;Q @NFNFNR�O @NEJ:�=mT^]�=SI @Nr$A=ST>EJC0G�ADO O E0n,EJO O =>I E[O < I R�C0=>:$< @%R�:�@NZJ=>I;VO^ADFN@;W2={$R�@N:�?�@sAD?�=>O =>C0G�@NE[T^]�=O @sG�EJ< =>O O = 9-f$h8#J_ hJ_ b�`Ngsk^b-_ k%$�`Bd�Y�t'Q @NFNFNR�O @NEJ:�==>I^A�I^AD?�@NT-AD<^A[@N:�R�:"Q @N:�O R��0T>@N=>:$< =�T>EJC0G�I =>:�O @NEJ:�=?�=>FNFBA�G�EJI <^AD<^A�?�@*<^ADFN@sO < I R$VC0=>:$< @;W�T^]�=mZJ=>:�:�=LT-ADI^AD< < =>I @Np>p-AD<^A0O EJFN<^AD:$< ES:�=>Fs²���/��L?�A!(�AD:$< p>=>F w @N:�< =>I C0@N:�@?�@%@N< =>I^ADp>@NEJ:�@%?�@%=>O < =>:�O @NEJ:�@s{$R�AD?�I^AD< @NT^]�=0?�@'T-ADC0G�@Bx>Y �'ADFN=ST-ADI^AD< < =>I @Np>p-ADp>@NEJ:�=G�I E$?�R�O O =HR�:�A*Z$@NO @NEJ:�=sCAD< R�I^A�W-=sG�EJI <-\ELADFNFBA*O EJFNR�p>@NEJ:�=%:�=>r$AD< @NZJA*?�=>F�G�I EJo�FN=>CA?�=>FNFBAm{$R�AD?�I^AD< R�I^AL?�=>F"T>=>I T^]�@NE0?�AmG�ADI < =m?�@"tP@N:�?�=>CAD:�:"WJ:�=>F%²����8|�Y

� $EJFNR�p>@NEJ:�@PADFNrJ=>o�I @NT^]�= w C0=>?�@BAD:$< =sI^AD?�@NT-ADFN@Bx2?�=>FNFN=s=>{$R�ADp>@NEJ:�@�{$R�AD?�I^AD< @NT^]�=*=>I^AD:�E:�EJ< =SM�:�?�ADFNF;Q AD:$< @NT^]�@N<-\A�Y $T>@NG�@NEJ:�=S?�=>F���=>I I E�W�'ADI <^ADrJFN@BA�W*�sADI ?�AD:�E�= ��=>I I^ADI @< I EDZJADI EJ:�E[:�=>F��*�*9LO =>T>EJFNE[O EJFNR�p>@NEJ:�@*ADFNrJ=>o�I @NT^]�=G�=>ISFN==>{$R�ADp>@NEJ:�@s?�@srJI^AD?�E/�= ��WH=�<^ADFN=[O R�T>T>=>O O E�rJ=>:�=>I-\E�@NFHG�I EJrJI^ADC0CA[?�@Sc>dDgNf��-`BdJe�b�hDg �Jb-v-_>`Bk^h1��b-_

Page 8: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

gNb�b%9-f$h��-`BdJe�`7#J`HdJ_V#J`Be�b�c>f/��b-_>`BdJ_ b$Y�t"A[O EJFNR�p>@NEJ:�=0:�=>r$AD< @NZJA�?�=>F*G�I EJrJI^ADC0CA?�EDZJ=>ZJA0AD< < =>:�?�=>I =0FBAST>EJC0G�I =>:�O @NEJ:�=JW�?�A0G�ADI < =L?�@?�'=>:�?�=>I C0EJ:�?�=L=St"ADrJI^AD:�rJ=:�=>F'²�����²JWJ?�=>FNFN=*I =>FBADp>@NEJ:�@�n,I^AmFN=*O EJFNR�p>@NEJ:�@�?�@�=>{$R�ADp>@NEJ:�@P?�@�rJI^AD?�E�� �m=HFN=*G�I EDVG�I @N=><-\AS?�=>@"rJI R�G�G�@2?�@"G�=>I CSR�<^ADp>@NEJ:�@PO R�F"T>EJI I @NO G�EJ:�?�=>:$< =L:$R�C0=>I ES?�@"=>FN=>C0=>:$< @;Y�'ADFN=ST>EJC0G�I =>:�O @NEJ:�=LG�I E$?�R�O O =FBA0Z$@NO @NEJ:�=SCAD< R�I^A�WPT^]�=0G�EJI <-\E�?�ADG�G�I @NCA0ADFNFBA?�@NC0EJO < I^ADp>@NEJ:�=?�@*@N:�O EJFNR�o�@NFN@N<-\AG�=>I0I^AD?�@NT-ADFN@*?�=>FNFN==>{$R�ADp>@NEJ:�@*?�@*rJI^AD?�E �[?�AG�ADI < =H?�@�q*o�=>F":�=>F'²��8| � w AD:$< @NT>@NG�AD< Em@N:SG�ADI < =H?�A�GsR��0:�@�:�=>F'²������Jx>WJ=HG�EJ@PADFNFBAO @NO < =>CAD< @Np>p-ADp>@NEJ:�=H?�=>FNFBAmCAD< =>I @BAH:�=>FNFBAL< =>EJI @BAm?�@?(mADFNEJ@NO':�=>F%²���/�²JY

��� @NEDn;AD:$< E�T>EJ:�O @N?�=>I-\E�WHZJ=>I O E�@NF7|�� ��W*@NF*G�I EJo�FN=>CA�?�@H?�=>O T>I @NZJ=>I =�FN=[O EJFNR�p>@NEJ:�@I^ADp>@NEJ:�ADFN@P?�@2=>{$R�ADp>@NEJ:�@"?�=>F"< @NG�E���� ��W�?�EDZJ=��[\=mR�:�G�EJFN@N:�EJC0@NEmALT>E$=��0T>@N=>:$< @@N:$< =>I @ w G�EJO @N< @NZ$@"E0:�=>r$AD< @NZ$@Bx>Ysq�G�ADI < @NI =m?�A0ADFNFNEJI^AmFNE0O < R�?�@NE0?�@"<^ADFN@%b%9-f$h��-`BdJe�`#J`BdVU>hJe�j,`Be�b�?�@NZJ=>:�:�=[R�:�A�G�ADI < =[=>O O =>:�p>@BADFN=�?�=>FNFBA[< =>EJI @BA�?�=>@m:$R�C0=>I @;W%=[ZJADI @C0=>< E$?�@JG�ADI p>@BADFN@JG�=>I'< I EDZJADI ='O EJFNR�p>@NEJ:�@Dn,R�I EJ:�E*< I EDZJAD< @;Y �'ADFN@DO R�T>T>=>O O @P@N:�?�R�O O =>I E#*@NFNo�=>I <%AsG�I EJG�EJI I =JW$:�=>F"²�� � ��W-@NF$G�I EJrJI^ADC0CA'?�@�?�=>< =>I C0@N:�ADI =%O =sR�:"Q =>{$R�ADp>@NEJ:�=?�@NEDn;AD:$< @N:�A[]�A�O EJFNR�p>@NEJ:�@*@N:$< =>I =JY q*:�T>EJI^A�R�:�A�ZJEJFN<^A[CAD:�T-A-ZJAD:�E[@sn;AD< < EJI @=>O O =>:�p>@BADFN@sG�=>ILR�:�AZ$@NO @NEJ:�=SCAD< R�I^A�WPT^]�=0rJ@NR�:�O =SO EJFN<^AD:$< E:�=>Fm²���� ��WP{$R�AD:�?�E&�AD< @BADO =>Z$@N< T^]0G�I EDZP\EmT^]�=*FBAH?�=>< =>I C0@N:�ADp>@NEJ:�=%?�=>FNF;Q =>O @NO < =>:�p-AL?�@�O EJFNR�p>@NEJ:�@�@N:$< =>I =I @NT^]�@N=>?�=[@N:�C0E$?�E[=>O O =>:�p>@BADFN=�R�:�{$R�AD:$< @ M�T-AD< EJI =JWs=[:�EJ:�G�R"\E�{$R�@N:�?�@*=>O O =>I =?�=>T>@NO^AS@N:0C0E$?�Em=%OP=>< < @NZJE�Y

-��,��WQW�

D7����.W�7���*]�AmG�I EJG�EJO < ES?�@PI =>O < I @N:�rJ=>I =m@PC0=>< E$?�@�?�@P?�@NC0EJO < I^ADp>@NEJ:�=*Am{$R�=>FNFN@2k^dDc>j,_>f$j $j,`Bu-`^Y�9;:�{$R�=>O <^A�O R�A[< =>:�?�=>:�p-A�=>rJFN@s:�EJ:�=>I^A[T^]�=�R�:�T>EJ:�O =>I ZJAD< EJI =�T^]�=�rJR�ADI ?�A-ZJAADF2G�ADO O^AD< E�W"T>@NE�\=0ADFNFBASO < EJI @BAO EJO <^AD:�p>@BADFNC0=>:$< =mT>EJO < I R�< < @NZJA?�=>FNF;Q @N:$< =>I^A0CAD< =>CAD< @NT-A�W=LI @ M�R�<^A-ZJASR�:�A0O =>I @N=S?�@2:�EDZ$@N<-\ASI =>T>=>:$< @ w ?�=>rJFN@'R�FN< @NC0@P< I =>:$<-Q AD:�:�@'?�=>FNF;Q � � �Jx>W�T^]�=S:�=A-ZJ=>ZJAD:�EmCSR�<^AD< EmFBALG�I EJO G�=>< < @NZJA�Y29;:G�ADI < @NT>EJFBADI =JU

� FBA0j,b^dJ_>`Bh:#Jb��DgN`2`Be$c>`Bb-iL`'?�@*�sAD:$< EJIs=>?@NFPO R�ES< I^AD< <^ADC0=>:$< EL?�=>FNF;Q @N:$M�:�@N< E� FBAmj,b^dJ_>`Bh�#Jb��DgN`P`o#Jb^hDgN`�?�@ � =>?�=��$@N:�?"WDT^]�=%O @�o�ADO^A-ZJAsO R�F$T>EJ:�T>=>< < ELADO < I^AD< < EH?�@$@N?�=^V

ADFN=mEJrJrJ@PT>FBADO O @NT>E�W�=mO @"G�I EJG�EJ:�=>ZJAST>EJC0=HADFN< =>I :�AD< @NZJASADF"< I^AD< <^ADC0=>:$< EST>EJO < I R�<;V< @NZJELCAmG�@ \R0T>EJC0G�FN@NT-AD< Em?�@ "HI EJ:�=>T��J=>I

� FBAS?�@NC0EJO < I^ADp>@NEJ:�=H?�=>F*j,b^dJ_ b-iLh #Jb>gBgNhv^hDc>bS?�@�#*@NFNo�=>I <-W�T^]�=mn,R[T^]�@BADCAD<^ASK < =>EDVFNEJrJ@NT-A�QDG�=>I T^]P\=H?�@NC0EJO < I^A-ZJAsF;Q =>O @NO < =>:�p-Am?�@�R�:�AHo�ADO =sM�:�@N<^AHG�=>I%EJrJ:�@�@N:�O @N=>C0=%?�@G�EJFN@N:�EJC0@�O =>:�p-ALn,EJI :�@NI =HR�:C0=>< E$?�ELG�=>Is< I EDZJADI FBA

� �B�^�N�>�,�,�"�;­D���,�>� ���D�,�>°>�,�>�s�%���,� �"�D�>�,�"� �>�s� �����?s�b�n%p�_ ^�u�k�]%m��?m _ p�^�b�q��J�>�,�,� ¤D¤J�$�N�>�$�J� �D�,�>�,�$�>��D�D�'�N�>�,�%�D� �>� � �^�D�P�D� � � �'�N�>�,�s�D® � ^�r�m r�qo^'�D�*�s� �,�-�D�'�J� �P�D� �,� �,�s� �D�>�,�P�,�'�D�$� � ±-�D�>� � �^�D�P�D� �^�N�>�-�,� �D�­D�'�,�>� �D� � �>�D�-� �-�,� �,���>� ©8y"� � ¤J� �,��� �'�N�>�,�%�D�B �2� �-�>� � �P� �>�s�"�D�s�D�,�>°>�,�>�s�s�D¡ �D� � � �2�N�>�,�s�D® � qab�nVv%k%b�^'�D��s� �,�-�D�2�J� �P�D� �,� �,�s� �D�>�B�P�,�2�D�$� � ±-�D�>� � �>�-�P�D� �^�N�>�-�,� �D�2­D�%�,�>� �D� � �>�D�-� �-�,� �,�>� ©��"�>�%�>�  �P�,�>� �,�>�-�,�"�D�$� �>�D�>� �>°>� ���N�,�2� �P�,�>� �D� � �>�D�^�D� �J¦ ���P�D�,�>¤D� � �s�P�P�D� �-�D�,�>°>�,�>�s�s���D��y"� � ¤J� �,� ®

� �J�,� �,�D� �,�>�,�2�D�J�H�>�,� �>�,� �-� �,�;­* �'�D�*�>� �,�'�,���s�D�>�s� �-�,�2�D� �J�,� �,�D� �,�>�,�2�D��c���>�D� �N©

Page 9: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

� FBA0?�@NC0EJO < I^ADp>@NEJ:�=m?�=>FHj,b^dJ_ b-iLh"#Jb>g%v-f$dJe�dJ_V#J`Be�hJiLb-e�j,d?�@MF�=>I C0=>FNE�W"T^]�=SR�< @ VFN@Np>p-A-ZJAmR�:�:$R�C0=>I EL@N:$M�:�@N< EL?�@"O T>=>FN< =mO R�T>T>=>O O @NZJ=SG�=>I*EJI ?�@N:�ADI =H{$R�ADFNR�:�{$R�=H@N:$VO @N=>C0=JY

t"ASI =>O < I @Np>@NEJ:�=S?�=>@2C0=>< E$?�@"?�@NC0EJO < I^AD< @NZ$@2\=SAD:�T^]"Q =>O O^A0R�o�@N{$R�AS:�=>FNFBASO < EJI @BAS?�=>FNFBACAD< =>CAD< @ T-A�W-=>?\=*@N:SrJ=>:�=>I =mADG�G�R�:$< EmR�:�AHI =-ADp>@NEJ:�=HADFNF;Q @N:$< I E$?�R�p>@NEJ:�=%?�@�:$R�EDZ$@�O < I R$VC0=>:$< @;WD@N:0G�ADI < =Ho�ADO^AD<^AmO R=%OP=>< < @NZ$@"G�I EJo�FN=>C0@$n,EJ:�?�ADp>@NEJ:�ADFN@�?�EDZ$R�< @"ADFNFBAHFNEJI ESAD:�T>EJI^A@N:�O R��0T>@N=>:$< =HT>EJC0G�I =>:�O @NEJ:�=JY�Gs@NT>EJI ?�@BADC0EmADFNT>R�:�@P=>O =>C0G�@PO @NrJ:�@ M�T-AD< @NZ$@;U

� �2@N<^ADrJEJI^AmZJEJFN=>ZJAHFN@NC0@N<^ADI O @�AD@P:$R�C0=>I @�I^ADp>@NEJ:�ADFN@;WD=HT>=>I TJ\E0AD?�?�@NI @N< < R�I^Am?�@P< =>:�=>I =O =>rJI =><^ASFBAmO T>EJG�=>I <^A0?�=>rJFN@'`B_>_ h��-`BdJe�hDgN`

� �2FBAD< EJ:�=�=>O^ADFN<-\E�F;Q R�O E�@N:�rJ=>EJC0=>< I @BA�?�=>FNFN=T>EJO < I R�p>@NEJ:�@HEJ< < =>:�@No�@NFN@sT>EJ:�_>` �Jh�bk^dJi���hDc^c>d

� �%=>I �J=>FN=��O o�=%OP=>rJrJ@;\E0F;Q R�O EL?�=>rJFN@'`Be&'e�`Bj,b>c>`BiL`'?�AmG�ADI < =m?�=>rJFN@"AD:�ADFN@NO < @� @Pe�f$iLb-_>`Pk^dJi���gNb>c^c>`�n,R�I EJ:�E*T>EJ:�O @N?�=>I^AD< @�@NC0C0ADrJ@ :�ADI @ w =sT>EJO,\ E$O EJ:�EmAD:�T>EJI^AsT^]�@BA-V

CAD< @Bx�G�=>I%ADFNC0=>:�E*?�R�=%O =>T>EJFN@�?�EJG�EH@NF$FNEJI EHR�O EH=>O O =>:�p>@BADFN=s:�=>FNFBA*O EJFNR�p>@NEJ:�=%?�=>FNFN==>{$R�ADp>@NEJ:�@"T>R�o�@NT^]�=

� #*@NFNo�=>I <%G�I EJG�EJO =*?�@�R�O^ADI =*:�=>FNFN=s?�@NC0EJO < I^ADp>@NEJ:�@$?�@�R�:0I @NO R�FN<^AD< EmO EJFN<^AD:$< EHC0=>p>p>@�Pf$_>`^W�T^]�=HO @BAD:�EST>@NE�\=HO R�FNFNELO < =>O O E0G�@BAD:�EL?�=>@"< =>EJI =>C0@P?�AL?�@NC0EJO < I^ADI =JY

t"ALI =>O < I @Np>@NEJ:�=L?�@"C0=>p>p>@"?�@NC0EJO < I^AD< @NZ$@�=mFBAmG�I EJG�EJO <^AS?�@"G�I EJrJI^ADC0C0@�=>I EJ@NT>@2O EJ:�Ed%�8��dDc>j,`sb>c>j,_ b-iL`Nc>iL`%< @NG�@NT>@'?�=>@'G�I E$T>=>O O @sO < EJI @NT>@;W"=SG�I EDZJE$T-AD< @'?�ADFNFN=m:�EDZ$@N<-\A�UH?�A0R�:�AG�ADI < =sFN=%O @�?�=>C0EJ:�@Np>p-AD:�E*< =>C0=>:�?�EJFN=JWD?�ADFNF;Q ADFN< I^AsFN=%O @�T-AD:�EJ:�@Np>p-AD:�Em=>O^ADFN<^AD:�?�EJFN=JY"y*:�AFNEJI ELCADrJrJ@NEJI'T>EJC0G�I =>:�O @NEJ:�=mG�I E$?�R�T>=m@N:O =>rJR�@N< E0FBALT-AD?�R�<^AS?�=>FNFN=H@N?�=>EJFNEJrJ@N=*T>EJ:�O =>I;VZJAD< I @NT>=L=LI @NZJEJFNR�p>@NEJ:�ADI @BA�W�=>?[R�:�A0Z$@NO @NEJ:�=LG�@ \R�=>{$R�@NFN@No�I^AD<^AS?�@'ZJAD:$<^ADrJrJ@"=LO ZJAD:$<^ADrJrJ@?�=>FNFN=*:�EDZ$@N<-\A�Y

� � �H�'��� �H�.���*�0�������J�m�'�

t'Q =>I^A%=>I EJ@NT-A w ='?�R�:�{$R�=%C0@N< EJFNEJrJ@NT-AJx$?�=>FNFBA'M�FNEJO EDMPAs?�=>FNFBA%CAD< =>CAD< @NT-A2:�=>F$O =>:�O EH?�=>FNFBAO =>p>@NEJ:�=�|�Y |HO @PT>EJ:�T>FNR�?�=HT>EJ:0@NF�I @N< EJI :�EL?�=>FNFBA*n;ADO =*O T>@N=>:$< @ M�T-A�W$@N:0T>R�@P:�=>FNFBAHI @ X�=>O O @NEJ:�=O R�FNFBAmCAD< =>CAD< @NT-A*@PG�I E$T>FBADC0@�T>=>?�EJ:�ESG�EJO < E0AD@PI @NO R�FN<^AD< @;Y

� @NT>@BADC0EsI @N< EJI :�E�WJ=*:�EJ:0@N:�@Np>@NE�WDG�=>I T^]P\=H@N:SR�:SO =>:�O ESo�=>:0G�I =>T>@NO ELFBAHO G�=>T>R�FBADp>@NEJ:�=G�I =^V;rJ@NR�?�@Np>@BADFN=%\=sO <^AD<^A*O EJFN<^AD:$< E*R�:LG�=>I @NE$?�EH?�@�O o�AD:�?�ADC0=>:$< E�W-O =>rJR�@N< EmADFNFNEsO T>EJ:�T>=>I < EG�I EDZJE$T-AD< E0?�ADFNFBALO T>EJG�=>I <^A0?�=>F'G�ADI^AD?�EJO O E0?�@�GsR�O O =>FNF;Y*9;:[I =-ADFN<-\A�W�O R�FNFBALCAD< =>CAD< @NT-AO @2\=mI @ X�=>< < R�< ESCAD< =>CAD< @NT-ADCS=>:$< ='M�:?�ADFNFN=HO R�=HEJI @NrJ@N:�@;Y ���� s�b�m l8j�m s�m�]/^�_ _ k�u�k%qo^�u�k%qamaj�kD¡P�,� �,� �,�,���D� �"�D�,�,� � ���D�,� �s�*�D� � � �H�,� �>�J� �,�,�*�D� ���,�D�H�D�>�,�>�D�>�,�,�D¡

�N�>�,�D� �,� �>�D�%�D�$� � �s�s�>°>� �-�2�D� � � �s¬J� �>�,�^¬J�s�D� � � �*�s�>�,� �s�>�,� �;�%� �-�,� �,�>�s� �-�,�2� �>�D� � �-�,�,�>�,�%�,�D� �N� �>�D�>� � �,��D���D�;¬J�D� � � �>�D�J�s�,� �,�D� �,�>�,�$�s�>�,� �s�>�,� � �N¡D�s�D�D�D±-�D�'¤J� �m�D� �>� �,�,�s�D�H±-�D� � � �%�N�>�D�D�>� � �>�D�>� �2�D� �Bb�m l��j�m s�mak� �k%q���^�u�k%qamaj�kD© Y ±-�D� �,�,�J�J�>�,�,�>�D�%� �,�,� �,�'� �>�D�,� �D� �,�>�,�D±-�D�>�,�$� �>�s�'�D�D�s�D�>�,� �-�,� �,�N¡-�-� �,�,�s�;­D��N� � �s�J�>�,�,�>� � �>�D���>�,� °>� �D�>� �P�,� �,�>�,�D�'�D� � �N� � l�qab�n�]��/wVmonVl8^�k%_ _ k���_ nVr%n��Bk*]/^�_ _ k*u�k%qo^�u�k%qamaj�kD©

Page 10: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

�'ADFN=SI @ X�=>O O @NEJ:�=0]�A�@N:$< =>I =>O O^AD< E[< R�< < =FN=0G�ADI < @%?�=>FNFBACAD< =>CAD< @NT-A�UH?�=^M�:�@Np>@NEJ:�@;W?�@NC0EJO < I^ADp>@NEJ:�@;WD< =>EJI =>C0@;Y �*R�@"T>@"FN@NC0@N< @BADCLEmALG�I =>O =>:$<^ADI =SADFNT>R�:�@"=>O =>C0G�@"=>FN=>C0=>:$<^ADI @O R�T>@BADO T>R�:�A0?�@"=>O O =JW2AD:�T^]�=LG�=>I T^]P\=SO =LO @2Z$R�EJFN=*n;ADI =L?�=>FNFBAmM�FNEJO EDMPASO R�T>=>I < @%ADO G�=>< < @?�=>FNFBAmCAD< =>CAD< @NT-A�W-o�@NO EJrJ:�AmG�I @NCAHT>EJ:�EJO T>=>I FN@'AmC0=>:�AD?�@N< E�Y�'ADFN@P=>O =>C0G�@"?�EDZ$I =>o�o�=>I ET>EJCSR�:�{$R�=*=>O O =>I =SO R��0T>@N=>:$< @'AD?�@NFNFNR�O < I^ADI =HR�:[ADO G�=>< < E

T>=>:$< I^ADFN=JUH@NF"n;AD< < ET>@NE�\=LT^]�=SFBALM�FNEJO EDMPA0?�=>FNFBASCAD< =>CAD< @NT-Am?�@'{$R�=>O < E�O =>T>EJFNE]�AADo$Vo�AD:�?�EJ:�AD< EH@NF���b-e$c>`Bb-_ d�U>dJ_>j,bs@N:Ln;A-ZJEJI =s?�@�R�:'��b-e$c>`Bb-_ d�#Jb-v^dDgNb$WJ=>?0EJrJrJ@�G�I =^n,=>I @NO T>=mAD?R�:"Q AD:�ADFN@NO @P?�@2< @NG�E0rJFNEJo�ADFN= w O EJ< < E0n,EJI CAm?�@2O @NO < =>C0@BxsR�:�AS< @NG�E0FNE$T-ADFN= w O EJ< < E0n,EJI CA?�@PEJO O =>I ZJADp>@NEJ:�@Bx>Y

� ��� � � ��� ���P� & � �9�G�I EJo�FN=>C0@>M�FNEJO EDM�T>@JG�I EJG�EJO < @J?�ADFNFN=2?�=^M�:�@Np>@NEJ:�@JO EJ:�EsC0EJFN< =>G�FN@NT>@;Y�(HFN@D=>O =>C0G�@DO =>rJR�=>:$< @@N:$< =>:�?�EJ:�Em=>Z$@N?�=>:�p>@BADI =HT>EJC0=sFBAmO T>=>FN<^Amn,I^AHZJADI @�< @NG�@P?�@�?�=^M�:�@Np>@NEJ:�@P:�EJ:0G�EJO O^Am=>O O =>I =n;AD< <^AH@N:SC0E$?�EHG�I =^V;rJ@NR�?�@Np>@BADFN=JWJCA*I @NT^]�@N=>?�AHR�:"Q AD:�ADFN@NO @�O G�=>T>@ M�T-AL@NF�T>R�@PI @NO R�FN<^AD< Em:�EJ:\=m?�=>< =>I C0@N:�AD< ESAmG�I @NEJI @;Y

�:� �8����>?����>��V����=��� ��9;F'< =>:$<^AD< @NZJE�?�@%?�=^M�:�@NI =0I @NrJEJI EJO^ADC0=>:$< =L:�EJp>@NEJ:�@'@N:$n,EJI CADFN@'\=S< @NG�@NT>E�:�EJ:�O EJFNE?�=>FNFBACAD< =>CAD< @ T-A�W�CA0AD:�T^]�=S?�=>FNFBASM�FNEJO EDMPA0AD:�ADFN@N< @NT-A�U*=>O O E�]�A0?�EDZ$R�< EO T>EJ:$< I^ADI O @sT>EJ:$V< I EFBA0C0@NO < @NT-A0?�=>FNFBA0ZJADrJ]�=>p>p-A�W"O =>T>EJ:�?�E[T>R�@'FN=S:�EJp>@NEJ:�@'@N:$n,EJI CADFN@P]�AD:�:�E�T>EJ:$< EJI :�@@N:�?�=^M�:�@N< @PT^]�=H:�EJ:O @"G�EJO O EJ:�ES?�=>O T>I @NZJ=>I =L@N:0C0E$?�EmG�I =>T>@NO E�Y

9'O R�T>T>=>O O @2?�=>F"I @NrJEJI =*@N:$n,EJI CADFN=%@N:0CAD< =>CAD< @ T-A*O EJ:�ELO <^AD< @P=>O =>C0G�FBADI @;WJ=>?]�AD:�:�EC0EJO < I^AD< E0?�AR�:�FBAD< ET^]�=0@NF'G�I EJG�EJO @N< E�?�@%I =>:�?�=>I =G�I =>T>@NO E[F;Q @N:$< R�@N< @NZJE�\=SG�EJO O @No�@NFN=JW=S?�ADFNF;Q ADFN< I EST^]�=0FBASO R�A=%OP=>< < @NZJAI =-ADFN@Np>p-ADp>@NEJ:�=SG�=>I C0=>< < =0?�@'T>EJC0G�@N=>I =LR�:�O^ADFN< E?�@{$R�ADFN@N<-\AH:�=>FNFBAm?�@NO T>R�O O @NEJ:�=m?�@PG�I EJo�FN=>C0@PT>EJFNFN=>r$AD< @PAL<^ADFN@P:�EJp>@NEJ:�@;Y

z2O =>C0G�@'O < EJI @NT>@s?�@sAD:�ADFN@NO @2n,EJI CADFN@2?�@%:�EJp>@NEJ:�@'@N:$n,EJI CADFN@"O EJ:�E[FN=S?�=^M�:�@Np>@NEJ:�@%?�@hJ_ b^h�W2gNf$e8��$�b%�%�-h�=k^dJe�j,`Be�f$`Bj�;h�@N:[AD:�ADFN@NO @;Us@N:[G�ADI < @NT>EJFBADI =JWPFN=LO EJFNR�p>@NEJ:�@2G�=>I C0=>< < EJ:�E?�@s?�ADI =I @NO G�EJO < =[A[?�EJCAD:�?�=ST^]�=�O^ADI =>o�o�=>I E�O <^AD< =[ADFN< I @NC0=>:$< @%@N:$< I^AD< <^ADo�@NFN@%?�A[R�:G�R�:$< EH?�@�Z$@NO <^A*O T>@N=>:$< @ M�T>E w AD?L=>O =>C0G�@NE�W-O =*T>@�O @BAD:�E*M�rJR�I =%@NFNFN@NC0@N<^AD< ="T>EJ:0ADI =-A*M�:�@N<^A�WET>R�I ZJ=SFN@NC0@N<^AD< =HT>EJ:[FNR�:�rJ]�=>p>p-A@N:$M�:�@N<^AJx>WP=Ln,EJI :�@NO T>EJ:�E@NF2G�R�:$< E�?�@2G�ADI < =>:�p-A�G�=>IO R�T>T>=>O O @NZJ=�=>FBADo�EJI^ADp>@NEJ:�@ w AD?�=>O =>C0G�@NE�WsI^A �0:�ADC0=>:$< @s?�=>FNFBA�:�EJp>@NEJ:�=�?�@HT>EJ:$< @N:$R�@N<-\AC0=>?�@BAD:$< =sR�FN< =>I @NEJI @"T>EJ:�?�@Np>@NEJ:�@P?�@P?�@ OP=>I =>:�p>@BADo�@NFN@N<-\AJx>Y

y*:�=>O =>C0G�@NESG�@ \R�I =>T>=>:$< =\=L?�AD< E0?�ADFNF;Q AD:�ADFN@NO @�?�=>FNFBAL:�EJp>@NEJ:�=m@N:$n,EJI CADFN=*?�@sk^hDgNk^d%$gNhJv-`NgN`Bj�;hm=%OP=>< < R�AD<^AS?�Amq*FBAD: �2R�I @N:�rm:�=>rJFN@"AD:�:�@'Q / ��Y |��Sz2rJFN@P]�AmC0EJO < I^AD< ELT^]�=H=>O O^ASO @G�R"\E0I @NT>EJ:�?�R�I I =ADFNFBAL:�EJp>@NEJ:�=Ln,EJI CADFN=H?�@2I @NT>EJI O @NZ$@N<-\A�W"A0T>R�@'=>I^AD:�ErJ@NR�:$< @2@N:[G�I =>T>=^V?�=>:�p-A�(��EJ?�=>F�= �%]$R�I T^]0C0=>?�@BAD:$< =sADG�G�I E$T>T>@"I @NO R�FN<^AD< @�G�EJ@P=>{$R�@NZJADFN=>:$< @;Y � AHR�:0G�R�:$< E?�@"Z$@NO <^AS< =>T>:�EJFNEJrJ@NT>E�W�<^ADFN=LAD:�ADFN@NO @"]�Amn,EJI :�@N< E0FBALo�ADO =L< =>EJI @NT-A0G�=>IHFBALG�I EJrJ=>< <^ADp>@NEJ:�=?�=>@'C0E$?�=>I :�@'T-ADFNT>EJFBAD< EJI @2=>FN=>< < I EJ:�@NT>@;Y � A0R�:�G�R�:$< E�?�@'Z$@NO <^A=>G�@NO < =>C0EJFNEJrJ@NT>E�W�=>O O^A]�ALG�=>I C0=>O O E0?�@2AD< < I @No�R�@NI =mR�:�ASZJADFN=>:�p-ALO T>@N=>:$< @ M�T-A0AS?�EJCAD:�?�=*@N:�G�I =>T>=>?�=>:�p-AG�R$VI^ADC0=>:$< =O G�=>T>R�FBAD< @NZJ=[O R�FNFBA�:�AD< R�I^A�C0=>T>T-AD:�@NT>@NO <^A�?�=>FNFN=�< =>EJI @N=�M�O @NT^]�= w O G�EJO <^AD:�?�E

ªB� �-�J�>� �D�%� �J�D�>�,�,�,�W_ k%l�����b�m l�`� ?m l��%nVb�u�k%qamaj�k��Wros�monVl8kV`V`%mon*^�rV^�r�r%n>©

² �

Page 11: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

F;Q AD< < =>:�p>@NEJ:�=0O R�F%n;AD< < E[O =F;Q =>ZJEJFNR�p>@NEJ:�=0?�@sR�:�O @NO < =>CAM�:�@N< E[T>EJ:�T>EJC0G�EJI <^ADC0=>:$< E?�=>O T>I @N< < E0?�ADFNFBAH< =>EJI @BALO @BAm:�=>T>=>O O^ADI @BADC0=>:$< =mI @NT>EJI O @NZJAJx>Y�:����>?���8����>W�W��=��? �������,/��%EJ:�O @N?�=>I @BADC0E�FBA U>f$e8�-`BdJe�b�#J`*J%`Bv^dJe�hJk^k-` w AD?�ADI rJEJC0=>:$< @s=�ZJADFNEJI @s@N:$< =>I @Bx>W%?�A�FNR�@@N:$< I E$?�EJ< <^Am:�=>F%²�| �8|mT>EJC0=*O EJFNR�p>@NEJ:�=H?�@PR�:G�I EJo�FN=>CAH?�@"I @NG�I E$?�R�p>@NEJ:�=H?�@PT>EJ:�@NrJFN@;U� w �Jx � � � w ²-x���² � w�� |Jx � � w� x � w�� ²-x� t"Am?�=^M�:�@Np>@NEJ:�=H?�@ � \=H@NC0G�FN@NT>@N<^A w G�=>I T^]P\=L?�=>O T>I @NZJ=mZJADFNEJI @�?�=>FNFBA � @N:< =>I C0@N:�@�?�@"ADFN< I @ZJADFNEJI @$?�=>FNFBA � O < =>O O^AJx>W�CA*:�EJ:ST>@NI T>EJFBADI = w G�=>I T^]P\=H?�=>O T>I @NZJ=HZJADFNEJI @$?�=>FNFBA � @N:S< =>I C0@N:�@?�@�ZJADFNEJI @�G�I =>T>=>?�=>:$< @Bx/I�@N:0G�ADI < @NT>EJFBADI =JWJ=>O O^ALG�=>I C0=>< < =H?�@�T-ADFNT>EJFBADI =*< R�< < @P@�ZJADFNEJI @;WDCA:�EJ:0?�@NI =>< <^ADC0=>:$< =JU2O EJFN<^AD:$< EL@N:O R�T>T>=>O O @NEJ:�=JY

z2O G�FN@NT>@N<^ADI =m<^ADFN=H?�=^M�:�@Np>@NEJ:�= w :�=>F2O =>:�O E0?�@"< I EDZJADI =m=>O G�I =>O O @NEJ:�@2G�=>IHT>@BADO T>R�:�ZJADF VEJI =L?�=>FNFBA � T^]�=S:�EJ:�n;ADT>T>@BAD:�EI @ n,=>I @NC0=>:$< EAD?�ADFN< I @2ZJADFNEJI @Bxs:�EJ:�\=S@NC0CS=>?�@BAD< E�Ymt"AO EJFNR�p>@NEJ:�=sn,R< I EDZJAD<^Am?�A � =7&EJ@NZ$I =*:�=>F%²���/ ��W$C0=>?�@BAD:$< =sFBAmn,EJI CSR�FBA$|^|

� w� x � ²� � ��� ² � �| ����� � ² � � �

| �������T^]�=sn;A*@N:$< =>I ZJ=>:�@NI =*O @BAHFBAHI^AD?�@NT>=s@NI I^ADp>@NEJ:�ADFN= � �HT^]�=*F;Q EJG�=>I^ADp>@NEJ:�=s?�@�?�@NZ$@NO @NEJ:�=JY2z2O O^A\=m?�R�:�{$R�=mI =>O^A0G�EJO O @No�@NFN=HO EJFN<^AD:$< ESR�O T>=>:�?�E?�ADFNF;Q ADCLo�@N< EH?�=>@2:$R�C0=>I @P@N:$< =>I @"@N:T>R�@2O @O @N< R�AmFBA � W�=>?=>:$< I^AD:�?�ES:�=>FNF;Q ADCSo�@N< EHG�@ \R0=>O < =>O E?�=>@P:$R�C0=>I @PI =-ADFN@;Y

y*:=>O =>C0G�@NESAD:�ADFNEJrJEmO @P]�ALT>EJ:�O @N?�=>I^AD:�?�ES=>{$R�ADp>@NEJ:�@"T>EJC0=*?�=^M�:�@Np>@NEJ:�@P@NC0G�FN@NT>@N< =?�=>FNFN=HFNEJI E0O EJFNR�p>@NEJ:�@;Ysz2O G�FN@NT>@N<^ADI =m<^ADFN@"?�=^M�:�@Np>@NEJ:�@ w :�=>F2O =>:�O E?�@"< I EDZJADI =m=>O G�I =>O O @NEJ:�@ADFNrJ=>o�I @NT^]�=LG�=>ImFN=LO EJFNR�p>@NEJ:�@Bx*:�EJ:�\=S@NC0CS=>?�@BAD< ELrJ@;\A0:�=>F'T-ADO E�?�@sb%9-f$h��-`BdJe�`*k-f$v-`Bk%$�bAD:�T^]�=H?�@P< @NG�ESG�ADI < @NT>EJFBADI =JW�AD?=>O =>C0G�@NE� � ���� � � �w ADFNFBA2T>R�@Jn,EJI CA2O @JG�R"\E�W-C0=>?�@BAD:$< ="EJG�G�EJI < R�:�='< I^ADO;n,EJI CADp>@NEJ:�@;W I @N?�R�I I ='EJrJ:�@J=>{$R�ADp>@NEJ:�=T>R�o�@NT-AJx>Y't"AmO EJFNR�p>@NEJ:�=*n,R< I EDZJAD<^Am?�A!�sADI ?�AD:�EL:�=>F%²�� ����WJC0=>?�@BAD:$< =*FBAHn,EJI CSR�FBA

� �! " �|$# � �

� � �|���� " � � | %# � �� � �|����

T^]�=T>EJ@N:$ZJEJFNrJ=0:$R�C0=>I @sT>EJC0G�FN=>O O @%{$R�AD:�?�E ��&+ (' �� \=�:�=>r$AD< @NZJE�Y |V� $@s]�A[T>EJO,\ E*@N:{$R�=>O < EST-ADO ELR�:R�O EL?�=>@":$R�C0=>I @�T>EJC0G�FN=>O O @�G�=>I*?�=^M�:�@NI =H:$R�C0=>I @�I =-ADFN@;Y"q*?=>O =>C0G�@NE�W:�=>FPT-ADO E0G�ADI < @NT>EJFBADI = � � � ²�� � � ���

ª;ª "�>�m�,� �J�>�,�,� �>�s�%� �%�D� �s�>�,�,�,�>� � �>�-�J�,� � �>�,� �>�2�H±-�D� �,�,�s� �m�>���D�,�>�,�,� �s�%� �,� �s�D� �s�J� �,�;­$ �2�,�>� �*� ��,� �,�D� �,�>�,�D¡^�2�D�>�*� �J�s�-�D�'� �*� �D�J�>�*� �,�,�%�,�$�>�,�,� �^�D¡^� �$� �-�,� �,� �,�,�2±-�D�N©

ªoX��-���D�>�,���;­D�s±-�D� �,�,�*�D�>�0 �%�N�>� � � �s� �-�,�'�^�-�-� �>¤D� � �'�D� � � �D�D�*�;­D�%� �S�,�>��� �>�,�*�D�>�L�>�  �s�,�>� �D� � �>�D�zN� �>�s���D� �D� �>�,�'�D� � �N� � ±-�D�>� � �^�D��±-�D�>�D�,�>�,� � �/{;¡ �J� �,�;­$ �P�D�$� � ±-�D�>� � �^�D��� �D¤D� � �2­D�'�,� �s�D�,�P�>� �s� �D�2�D�D��,�>�D� � �P�,� �>� �>©

²J²

Page 12: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

O @PEJ< < @N=>:�= � � � | � � ²�|�² � � � | � � ²�|�² �T^]�='?�=^M�:�@NO T>='@NFJ:$R�C0=>I E%@N:$< =>I E �%n;ADT>=>:�?�Es@N:$< =>I ZJ=>:�@NI ='FBA%I^AD?�@NT>='@NC0C0ADrJ@ :�ADI @BA � � ²�|�²DY�:����>?���8����>W�W���M��,�,�������%EJ:�O @N?�=>I @BADC0EHFBAmn,R�:�p>@NEJ:�=*?�AL@N:$< =>I @2AD?0@N:$< =>I @"?�=^M�:�@N<^AL?�A� w� x�� | � � w�� ²-x� y*:�AS<^ADFN=L?�=^M�:�@Np>@NEJ:�=S:�EJ:�\=L=%OP=>< < @NZJA w AD?[=>O =>C0G�@NE�WP:�=>F'O =>:�O E�T^]�=S:�EJ:�G�R"\E=>O O =>I =R�O^AD<^AL?�ASR�:�T>EJC0G�R�< =>I^x>W�G�=>I T^]P\=L:�EJ:�G�=>I C0=>< < =L?�@"T-ADFNT>EJFBADI =m?�@NI =>< <^ADC0=>:$< =m@"ZJADFNEJI @?�@ � Y%z2O O^AL@N:$n;AD< < @PrJ=>:�=>I^ASO =>C0G�FN@NT>=>C0=>:$< =s@NFPI =>rJI =>O O E@N:$M�:�@N< E� w �Jx �| � � w ²-x ��� � � w |Jx�� � � � � | � � � w� x � � � �zWOP=>< < @NZ$@Np>p-ADI =sFBAs?�=^M�:�@Np>@NEJ:�=s?�=>FNFBA � :�EJ:0\=s?�@ �0T>@NFN=JW-CA%I @NT^]�@N=>?�=%F;Q R�O EH?�@$C0=>< E$?�@@N:$M�:�@N<^ADI @;W�@N:[G�ADI < @NT>EJFBADI =m?�@'R�:[:$R�C0=>I E0@N:$M�:�@N< E0?�=>FNFN=L=>{$R�ADp>@NEJ:�@2?�=^M�:�=>:$< @'FBA � w =:�EJ:SO EJFN<^AD:$< Em?�@PR�:0:$R�C0=>I EHM�:�@N< E�WJT>EJC0=s:�=>FPT-ADO EL?�@P?�=^M�:�@Np>@NEJ:�@�=%OP=>< < @NZJ=-x>Y'9;:$n;AD< < @;WG�EJ@NT^]P\=HG�=>IsEJrJ:�@ � O @"]�A � w� x � ²

| � � � w �Jx �F;Q R�:�@NT>E � <^ADFN=sT^]�= |��� \=sR�:S:$R�C0=>I E*@N:$< =>I EL\=���IJ{$R�@N:�?�@ � \=sT>EJO <^AD:$< =JWJ=sF;Q R�:�@NT>E*ZJADFNEJI =

@N:$< =>I ELT>EJC0G�AD< @No�@NFN=*AD?=>O =>C0G�@NELT>EJF�n;AD< < EST^]�=� w �Jx �| � � w ²-x �| � � w �Jx\=m?�@P:$R�EDZJE ��Y �*R�@N:�?�@;W$R�:C0E$?�Em=>{$R�@NZJADFN=>:$< =H=>?=%OP=>< < @NZJES?�@"?�=^M�:�@NI =HFBA � \=JU� w� x � � � � � � � � &�� � ! � �P� & � �t"AHM�FNEJO EDMPAm?�=>FNFBAmCAD< =>CAD< @ T-A*]�A�WJn,I^Am@"O R�EJ@PT>EJC0G�@N< @;WDF;Q AD:�ADFN@NO @�?�=>FNFN=H?�@NC0EJO < I^ADp>@NEJ:�@w =>ZJ=>:$< R�ADFNC0=>:$< =JW%CA�:�EJ:�:�=>T>=>O O^ADI @BADC0=>:$< =JW*?�@*R�:�E�O < =>O O E�< =>EJI =>CAJx>W%:�=>F*< =>:$<^A-V< @NZJE[?�@H@NO EJFBADI =@*FNEJI E[n;AD< < EJI @*=>O O =>:�p>@BADFN@;U[?�A�R�:�FBAD< E�W%=>:$R�T>FN=-AD:�?�E�T^]�=[T>EJO^A�R�:�A?�@NC0EJO < I^ADp>@NEJ:�=�?�@NT-A�@N:�G�@ \R�?�=>FmO =>C0G�FN@NT>=�n;AD< < E�T^]�=�FBA�O R�A�T>EJ:�T>FNR�O @NEJ:�=�\=�ZJ=>I^A�I?�ADFNF;Q ADFN< I E�W$=>O G�FN@NT>@N<^AD:�?�EFN=LI =>FBADp>@NEJ:�=LT^]�=S=>O O^AO <^ADo�@NFN@NO T>=mn,I^A0rJFN@"EJrJrJ=>< < @'ET>EJ:�T>=>< < @C0=>:�p>@NEJ:�AD< @�O EJFNEL:�=>FNFBAmT>EJ:�T>FNR�O @NEJ:�=JW�=H{$R�=>FNFN@PC0=>:�p>@NEJ:�AD< @�:�=>FNFBAm?�@NC0EJO < I^ADp>@NEJ:�=JY

)'� �V����=1.? o� �8����>?�:QW�������/.? �,���,��t"ASO T>EJG�=>I <^A�?�=>FNF;Q @NI I^ADp>@NEJ:�ADFN@N<-\AL?�@ � |�\=SR�:�E?�=>@'G�I @NC0@"I @NO R�FN<^AD< @'O @NrJ:�@ M�T-AD< @NZ$@"?�=>FNFBACAD< =>CAD< @ T-A�WDCAmrJ@;\AmR�:�ALO R�AL?�@NC0EJO < I^ADp>@NEJ:�=*=>FN=>C0=>:$<^ADI =HG�R"\ELn;ADIs@N:$< =>I ZJ=>:�@NI =mT>EJ:$VT>=>< < @'T^]�=SO EJ:�E=>O < I^AD:�=>@sADFNF;Q =>:$R�:�T>@BAD< ES?�=>F'< =>EJI =>CA�U*{$R�=>O < E@N:$n;AD< < @2G�ADI FBASO EJFN<^AD:$< E

²�|

Page 13: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

?�@"G�I E$?�EJ< < @;W�C0=>:$< I =mFBAL?�@NC0EJO < I^ADp>@NEJ:�=*O =>rJR�=>:$< =S@N:$< I E$?�R�T>=LAD?�=>O =>C0G�@NESFBAL:�EJp>@NEJ:�=?�@PG�EJ< =>:�p-AS?�@W|�Y

�"=>Im?�@NC0EJO < I^ADI =LT^]�= � |�\=S@NI I^ADp>@NEJ:�ADFN=JWPT>@NE�\=ST^]�= � ���� | ��� �LG�=>ImEJrJ:�@'T>EJG�G�@BA?�@%@N:$< =>I @ � = � W'o�ADO <^A�T>EJ:�O @N?�=>I^ADI =@NF%CADO O @NC0E0?�@NZ$@NO EJI =0?�=>FNFBA0n,EJI CA |���Y�9;:�R�:{$R�AD?�I^AD< E=>O O E�]�A0O =>C0G�I =L=>O G�EJ:�=>:$< =G�ADI @ w =>ZJ=>:$< R�ADFNC0=>:$< = �Jx>W"G�=>I T^]P\=0{$R�ADFNR�:�{$R�==>O O E0O @BAm:�=>F2:$R�C0=>I E�WJ@NF"{$R�AD?�I^AD< ELFNESI^AD?�?�EJG�G�@BA�I$G�EJ@NT^]P\=m@N: � �mR�:<^ADFN=H?�@NZ$@NO EJI =H]�A?�R�:�{$R�=m=>O G�EJ:�=>:$< =LG�ADI @;W�CAH@N:"| � � �H=>O O E0]�AS=>O G�EJ:�=>:$< =L?�@NO G�ADI @ w G�=>I T^]P\=LTJQ \=mR�:1|@N:0G�@ \R�x>W$@P?�R�=m:$R�C0=>I @PO EJ:�EL?�@NZJ=>I O @;Y

t'Q R�O EH?�=>FNFBA*:�EJp>@NEJ:�=s=>O < I^AD:�=-AH?�@"K G�EJ< =>:�p-AH?�@�|�QD:�=>FNFBA*?�@NC0EJO < I^ADp>@NEJ:�='G�I =>T>=>?�=>:$< =]�ALG�=>I-\E0R�:[ADO G�=>< < EG�EJO @N< @NZJE�U2FBALI =>:�?�=SADG�G�FN@NT-ADo�@NFN=H:�EJ:O EJFN<^AD:$< E0A:|�W�CALAD?�EJrJ:�@:$R�C0=>I EG�I @NC0E �"W2C0EJO < I^AD:�?�E�{$R�@N:�?�@%@N:�I =-ADFN<-\AT^]�= � ��\=0@NI I^ADp>@NEJ:�ADFN=JY�9;:�{$R�=>O < EC0E$?�E%O @$EJ< < @N=>:�='T>EJO,\ E$R�:�AsI @ n,EJI CSR�FBADp>@NEJ:�=P?�=>F$I @NO R�FN<^AD< E�W-T^]�=sA-Z$Z$@NT>@N:�A'@$T>EJ:�T>=>< < @�R�O^AD< @:�=>FNF;Q =>:$R�:�T>@BAD< E w :$R�C0=>I EG�I @NC0E$x*=0:�=>FNFBA0?�@NC0EJO < I^ADp>@NEJ:�= w n;AD< < EJI =0G�I @NC0E$x>YS9;:�EJFN< I =JWG�=>Iso�R�EJ:�ALC0@NO R�I^A�WJ@NFPI @NO R�FN<^AD< ELEJI @NrJ@N:�ADI @NEmI @NO R�FN<^ALO EJO <^AD:�p>@BADFNC0=>:$< =*I^A�OPEJI p-AD< E�Y

9;:mI =-ADFN<-\A�WDR�:�AsZJEJFN<^A%O ZJ=>FBAD<^AsR�:�AsT>EJ:�:�=>O O @NEJ:�=%n,I^As@$:$R�C0=>I @JG�I @NC0@D=%@NI I^ADp>@NEJ:�ADFN@N<-\A�WO @%G�R"\E[AD:�?�ADI =AD:�T>EJI^A�R�:�G�ADO O E[EJFN< I =0=0< I EDZJADI =S@NF%I @NO R�FN<^AD< E�?�=^M�:�@N< @NZJE�@N:�{$R�=>O <^A?�@NI =>p>@NEJ:�=JUSO =��[:�EJ:�\=0R�:�{$R�AD?�I^AD< E�W'ADFNFNEJI^A � ��\=0@NI I^ADp>@NEJ:�ADFN=JY9;:$n;AD< < @;W2O =��[:�EJ:\=R�:�{$R�AD?�I^AD< E�ADFNFNEJI^AADFNC0=>:�ER�:�E[?�=>@sO R�EJ@%n;AD< < EJI @%G�I @NC0@']�A�=>O G�EJ:�=>:$< =�?�@NO G�ADI @;WC0=>:$< I =*<^ADFN=Hn;AD< < EJI =H?�=>ZJ=LA-ZJ=>I =H=>O G�EJ:�=>:$< =LG�ADI @"O @BAL@N: � �HT^]�=m@N: � �DU'?�R�:�{$R�=m=>O O E]�Am=>O G�EJ:�=>:$< =LG�ADI @P@N: � �HCAH?�@NO G�ADI @P@N:�� � � �DW$=>?�@P?�R�=m:$R�C0=>I @�O EJ:�ES?�@NZJ=>I O @;Y |���:��=��B�/,���� �8����>W�W>?��>$���B�/,���.?,�,������t'Q =>O @NO < =>:�p-A0?�@"@N:$M�:�@N< @2:$R�C0=>I @PG�I @NC0@2\=LO <^AD<^A0?�@NC0EJO < I^AD<^Am?�A0z2R�T>FN@N?�=JW�@N:�R�:�C0E$?�EEJI CAD@�T>FBADO O @NT>E�Y�$@"G�I E$T>=>?�=LG�=>IH@N:�?�R�p>@NEJ:�=JU'@NFPG�I @NC0EL:$R�C0=>I ESG�I @NC0E�� � \=�|�W�=m?�AD< @@PG�I @NC0@ �� ²HG�I @NC0@ � � � � � � T>=L:"Q \=HR�:[ADFN< I ELn,I^A � � ²H=�� � � � � � � ²JY%9;:$n;AD< < @;WE�� � � � � � � ²L\=mG�I @NC0ELES]�ALR�:n;AD< < EJI =mT^]�=m:�EJ:G�R"\E0=>O O =>I =����'G�=>I*:�=>O O R�: � � WADFN< I @NC0=>:$< @ ���'?�@NZ$@N?�=>I =>o�o�=mO @BA�� � � � � � � T^]�=�� � � � � � � ²JW$=H{$R�@N:�?�@P?�@NZ$@N?�=>I =>o�o�=0²JY

y*:�A<^ADFN=S?�@NC0EJO < I^ADp>@NEJ:�=0\=JW':�=>FNFBA0< =>I C0@N:�EJFNEJrJ@BAS?�@ �%I EJR �%=>I-Wsk^dDc>j,_>f$j,j,`Bu-h�UL:�EJ:O EJFNE*=>O O^A*?�@NC0EJO < I^A%F;Q ADO O =>I < E�WDCA%FNEsn;As?�@NI =>< <^ADC0=>:$< =JW-n,EJI :�=>:�?�E*@N:mG�ADI < @NT>EJFBADI =sAD:�T^]�=R�:FN@NC0@N< =s=>O G�FN@NT>@N< ESG�=>I*F;Q � V;=>O @NC0EH:$R�C0=>I ELG�I @NC0E�Y?�"=>I*@N:�?�R�p>@NEJ:�=H?�AL=>O O^ASO @"I @NT-A-ZJA@N:$n;AD< < @�T^]�=�� � \=HFN@NC0@N<^AD< EH?�ADFNF;Q @N< =>I^ADp>@NEJ:�= � V;=>O @NCAH?�=>FNFBAHn,R�:�p>@NEJ:�=H=>O G�EJ:�=>:�p>@BADFN=�|���Y

� R�=>C0@NFBA0AD:�:�@%?�EJG�E[z2R�T>FN@N?�=JW%z2R�FN=>I E[]�A?�AD< E�R�:"Q ADFN< I^A?�@NC0EJO < I^ADp>@NEJ:�=L?�=>FNF;Q =^VO @NO < =>:�p-A�?�@%@N:$M�:�@N< @%:$R�C0=>I @'G�I @NC0@;Y $@%G�I E$T>=>?�={$R�=>O <^A�ZJEJFN<^AG�=>ILT>EJ:$< I^AD?�?�@Np>@NEJ:�=JWR�O^AD:�?�EmFBA*O =>I @N=HADI C0EJ:�@NT-A�� |� � |� Y��"EJ@NT^]P\= � \=*R�:S{$R�ADFNR�:�{$R�=s:$R�C0=>I EH@N:$< =>I E�WJ=>O O E\=O T>EJC0G�EJ:�@No�@NFN=S@N:�n;AD< < EJI @%G�I @NC0@;USA�?�=>:�EJC0@N:�AD< EJI =S:�=>FNFBA�O =>I @N=�ADG�G�AD@NEJ:�E�?�R�:�{$R�=< R�< < @P@"G�I E$?�EJ< < @�M�:�@N< @"?�@PG�EJ< =>:�p>=m?�@":$R�C0=>I @�G�I @NC0@;YPq*FNFNEJI^A

�|� �

²� � ��G�I @NC0E

� ² ²� ²� � ²� �%� � � �

ªof��$�%�D� �s�>�,�,�,�>� � �>�-���>�,� °>� �D�>�,� �"�D� � �N� � �,�,�>� � �>�D�^� � �^ �2�D��� e>¡-±-�D�>� �D�D±-�D��� �,�,�'�N�>�,�,�>¡>� �,�'� � �,�,�>�s� �-�,��D�, �2�,�J� � � ¬J� �����s� �D�P�>�D�>�,�,���>� � ��°>� �D� �,�>� � � � �^� � �>�-�N¡,�,���D� � �8^�^�q��^�q�n?z,¦ ¢�d^�8{�Z�� �>�,�>�D�$� �-�D�D� � ���,�>� �,�>�-�,�� �J�,� �,�D� �,�>�,�2�;­D� � �  �2� �,�,�>� � �>�D�>� �P�J� �P�>°>�D� ��� ¦%d'�;­D�2�D�>�s�,� �%�D�*±-�D�>�D�,�>�,�D©

²�/

Page 14: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

&�AmT>@BADO T>R�:�G�I @NC0E��0T>EJ:$< I @No�R�@NO T>=mFBAmO =>I @N=mrJ=>EJC0=>< I @NT-AmT>EJ:$ZJ=>I rJ=>:$< =� ² ²

� ²� � ²� �%� � � � �

²² � |�

��

� � ² $=S?�R�:�{$R�=0T>@'n,EJO O =0O EJFN<^AD:$< E�R�:�:$R�C0=>I E0M�:�@N< E�?�@%G�I @NC0@;W�FBAO =>I @N=ADI C0EJ:�@NT-A0T>EJ:$VZJ=>I rJ=>I =>o�o�=JY�&�Am=>O O^AS@N:$ZJ=>T>=H?�@NZJ=>I rJ=JW�G�=>I T^]P\=

² ²| � ²

/ ²� � � ²

� ²

� ²� ²�� %� � � � ²

|���� | ² $� � �� ²|�� �

� ²| ²| � ²

� ²� � � ²

� ²� ²� ²�� $� � �� � ²

|�� $� � �� ²|�� �

�²| ²| ²| ²|$� � �� ²

|

� � ²|

=*?�R�:�{$R�=mG�=>I � � ��� |�

FBAmO EJC0CAs?�=>@"< =>I C0@N:�@�M�:�ESA |�� � |

� & �� � \=HCADrJrJ@NEJI =%?�@ � Yt"As?�@NC0EJO < I^ADp>@NEJ:�=2?�@�z2R�FN=>I EL\=%G�@ \RmT>EJC0G�FN@NT-AD<^A%=>?L@N:�?�@NI =>< <^As?�@${$R�=>FNFBAs?�@�z2R�T>FN@N?�=JU

R�O^Amn;AD< < @2C0=>:�EL=>FN=>C0=>:$<^ADI @;W�G�I EDZJAL:�EJ:�F;Q ADO O =>I < ESCAL@NF�n;AD< < E0T^]�=mFBALO R�AS:�=>r$ADp>@NEJ:�=\=mT>EJ:$< I^AD?�?�@N< EJI @BA�W$:�EJ:Sn,EJI :�@NO T>=m:�=>O O R�:�FN@NC0@N< =%=>O G�FN@NT>@N< ESG�=>I�� � Y&�A[R�:�C0EJC0=>:$< E�?�@HI @ X�=>O O @NEJ:�=�C0EJO < I^A[T^]�=[C0=>:$< I =@HG�I @NC0@ � � � � � � T>EJ:$V< I @No�R�@NO T>EJ:�ELO EJFN<^AD:$< E�� � � ������ � | ADFNFBAHO =>I @N=mADI C0EJ:�@NT-A�WJ@P< =>I C0@N:�@�T>EJ:?�=>:�EJC0@N:�AD< EJI =M�:�EA:| ��� � � � ��� �� � ���

� | T>EJ:$< I @No�R�@NO T>EJ:�E0?�@2G�@ \R"Y � R�:�{$R�=LT>@2?�=>ZJ=L=>O O =>I =0R�:[:$R�EDZJEG�I @NC0E�� � � | O EJ< < ES<^ADFN=HFN@NC0@N< =JYB�"EJ@NT^]P\= ������ � | �3|�W�O @P]�A � � � | � | � �� � Y

t"AL:$R�EDZJAL?�@NC0EJO < I^ADp>@NEJ:�=L\=m@N:�R�:�T>=>I < EO =>:�O EG�@ \RG�I EDn,EJ:�?�A�W�=L<^ADFN=mG�I EDn,EJ:�?�@N<-\A\=*=>Z$@N?�=>:�p>@BAD<^Am@N:SC0E$?�EH=>O G�FN@NT>@N< Em?�ADF�C0@NrJFN@NEJI"FN@NC0@N< ='T^]�=*=>O O^Amn,EJI :�@NO T>=*G�=>I%F;Q � V;=>O @NC0E:$R�C0=>I EHG�I @NC0E�Y"t"AmO R�AHn,=>T>EJ:�?�@N<-\AS\=*T>EJCSR�:�{$R�=s?�@NC0EJO < I^AD<^A*@N:0C0E$?�EHo�=>:G�@ \RSG�I =>rDV:�AD:$< =0?�ADFNFBA�G�EJO @Np>@NEJ:�=0T^]�=�=>O O^A[< @N=>:�=JW%T>EJC0=0O R�E�rJ=>I C0=0@N:�@Np>@BADFN=JW2:�=>FNFBA�C0E$?�=>I :�A< =>EJI @BALAD:�ADFN@N< @NT-Am?�=>@P:$R�C0=>I @;Y�:��=��B�/,���� �8����>W� ���B�/,���.?,�,������t'Q =>O =>C0G�@NEsG�I =>T>=>?�=>:$< =H]�A*C0EJO < I^AD< E*T>EJC0='FBAs?�@NO < @N:�p>@NEJ:�='n,I^A*?�@NC0EJO < I^ADp>@NEJ:�@JT>EJO < I R�<;V< @NZJ=m=S:�EJ:[T>EJO < I R�< < @NZJ=SG�EJO O^A0I @NO R�FN<^ADI =L:�EJ:[O @NrJ:�@ M�T-AD< @NZJASAD@2M�:�@2?�@'R�:�A0FNEJI E0ZJADFNR$V<^ADp>@NEJ:�=2CAD< =>CAD< @NT-A'AsG�I @NEJI @;YP9;FJG�I EJO O @NC0Es=>O =>C0G�@NEsC0EJO < I^A%T^]�='FBA%O < =>O O^AH?�@NO < @N:�p>@NEJ:�=\=m@N:0EJrJ:�@PT-ADO ES< I EJG�G�EST>I R�?�A�W�G�=>I T^]P\=LE�OPR�O T-ASADFN< I @"ADO G�=>< < @2O @NrJ:�@ M�T-AD< @NZ$@;Y

�*=>rJFN@��%gNb-iLb-e�j,`"z2R�T>FN@N?�=%G�I EJG�EJ:�=sR�:LC0=>< E$?�E�W-:�EJ< E*T>EJC0=*hDg �JdJ_>`Bj,iLd7#J`��sf$k>gN`o#Jb$WG�=>I2?�=>< =>I C0@N:�ADI =s@NF�&�ADO O @NC0E��%EJCSR�: � @NZ$@NO EJI ='?�@�?�R�=%:$R�C0=>I @$@N:$< =>I @ �H=��DYW$@�?�@NZ$@N?�=@NF2G�@ \R[rJI^AD:�?�=L?�=>@'?�R�=S:$R�C0=>I @ w AD?[=>O =>C0G�@NE�W �$xHG�=>Im@NF2G�@ \R[G�@NT>T>EJFNE w �>x>W"EJ< < =>:�=>:�?�E����� ��� | �� | IDO @$?�@NZ$@N?�=2G�EJ@��2G�=>I"@NFJI =>O < EH?�@$<^ADFN='?�@NZ$@NO @NEJ:�=JW>EJ< < =>:�=>:�?�E�� � � | ��� � �� � W=HO @"T>EJ:$< @N:$R�Am@N:0<^ADF"C0E$?�E�WDEJ< < =>:�=>:�?�E0FBAmO R�T>T>=>O O @NEJ:�=JU

� � � � � | !� |²��

Page 15: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

� � � | � � � � �� | � � � � � � � �� � �� � � � � � � � | � � � !� �� � � | � � � � � � � |

9;F$G�I E$T>=>?�@NC0=>:$< EH< =>I C0@N:�AsG�=>I T^]P\=*EJrJ:�@$ZJEJFN<^As@NF$I =>O < ES\=sC0@N:�EJI ='?�=>F�?�@NZ$@NO EJI =JWD=%{$R�@N:�?�@FBAsO R�T>T>=>O O @NEJ:�=*?�=>@�I =>O < @"\=sO < I =>< <^ADC0=>:$< =s?�=>T>I =>O T>=>:$< =JY%9;:�EJFN< I = � � w F;Q R�FN< @NC0E%I =>O < Em:�EJ::$R�FNFNE$x"\=%@NF�&�ADO O @NC0E��%EJCSR�: � @NZ$@NO EJI ='?�@ �*=��DUP=>O O EH?�@NZ$@N?�=%O @BA��HT^]�= �'G�=>I T^]P\=s?�@NZ$@N?�=EJrJ:�@PI =>O < E�W�T>EJC0=*O @"ZJ=>?�=mI @NO^ADFN=>:�?�E0ADFNF;Q @N:�OD\RS:�=>FNFBALO R�T>T>=>O O @NEJ:�=LG�I =>T>=>?�=>:$< =8I"=>?�EJrJ:�@?�@NZ$@NO EJI =*?�@ �L=��sFNEL?�@NZ$@N?�=JW$T>EJC0=*?�@"ZJ=>?�=HO T>=>:�?�=>:�?�E�ADFNF;Q @N:�rJ@ \RL:�=>FNFBAmO R�T>T>=>O O @NEJ:�=JY�'ADFN=*C0=>< E$?�ES\=mADFNFBAmo�ADO =H?�=>FNFBAm< I^AD< <^ADp>@NEJ:�=H?�@"z2R�T>FN@N?�=H?�=>FNFBAm< =>EJI @BAL?�=>@P:$R�C0=>I @;W

=0G�=>I C0=>< < =0?�@sG�I EDZJADI =0@N:�O =>rJR�@N< E[F;Q =>O @NO < =>:�p-A[=>?�R�:�@NT>@N<-\A�?�=>FNFBAO T>EJC0G�EJO @Np>@NEJ:�=S@N:n;AD< < EJI @'G�I @NC0@"?�@%R�:�:$R�C0=>I E@N:$< =>I E�Yz2O O =>:�?�E[G�=>I-\E�@N:�G�EJO O =>O O E[?�@%<^ADFN=SI @NO R�FN<^AD< E�W=>O @NO < =R�:�G�I E$T>=>?�@NC0=>:$< E[EDZ$Z$@NEG�=>IS?�=>< =>I C0@N:�ADI =0@NF�&�ADO O @NC0E��%EJCSR�: � @NZ$@NO EJI =S?�@?�R�=m:$R�C0=>I @ �0=��DU%O T>EJC0G�EJI FN@P@N:n;AD< < EJI @"G�I @NC0@;W$=mT>EJ:�O @N?�=>I^ADI =L@NF"G�I E$?�EJ< < E0?�=>@2FNEJI En;AD< < EJI @PG�I @NC0@�T>EJCSR�:�@;WJT>EJF"C0@N:�@NCSEH=>O G�EJ:�=>:$< =JY

l*rJrJ@"G�EJO O @BADC0EmO G�@N=>r$ADI =m@N:< =>I C0@N:�@PG�I =>T>@NO @2@NFPn;AD< < EST^]�=mF;Q ADFNrJEJI @N< CSEH?�@2z2R�T>FN@N?�=ADo�o�@BAsCAD:$< =>:$R�< EsR�:"Q @NC0G�EJI <^AD:�p-A'n,EJ:�?�ADC0=>:$<^ADFN=JW-AD:�T^]�=sO =%@NF$O =>T>EJ:�?�EmC0=>< E$?�Em\=%G�@ \RG�I EDn,EJ:�?�E*=s?�R�:�{$R�=%@N:LR�:LT>=>I < EmO =>:�O ELG�@ \RmC0=>C0EJI^ADo�@NFN=JU�FBAsO T>EJC0G�EJO @Np>@NEJ:�=%@N:Hn;AD< < EJI @G�I @NC0@�\=HR�:0G�I E$T>=>?�@NC0=>:$< ELT>EJO < EJO E�W$T^]�=H:�EJ:0O @PO^AHn;ADI = w G�=>IsEJI^AJx':�=>G�G�R�I =m@N:S< =>C0G�E��dDgN`Be�dJiL`BhDgNb$W�=>?�\=m{$R�@N:�?�@2@N:$< I^AD< <^ADo�@NFN=mAD:�T^]�=LC0=>?�@BAD:$< =HT>EJC0G�R�< =>I O�I�F;Q ADFNrJEJI @N< CSEm?�@z2R�T>FN@N?�=0@NC0G�@N=>r$A0@N:$ZJ=>T>=O EJFN<^AD:$< E�R�:�:$R�C0=>I E�?�@sG�ADO O @HgNd%�JhJ_>`Bj,iL`Bk^d�W"G�=>I T^]P\=�:�=>FNFBAG�=>rJrJ@NEJI =?�=>FNFN=�@NG�EJ< =>O @H?�@NZ$@N?�=�ADFNC0=>:�E[G�=>I |�W%=[{$R�@N:�?�@s?�@NC0=>p>p-A[@NF*:$R�C0=>I E�EJrJ:�@ZJEJFN<^A�Y

$@BADC0E0{$R�@N:�?�@%?�@'n,I EJ:$< =0AD?�R�:�T-ADO E[@N:�T>R�@sC0=>< E$?�@%ADO < I^AD< < @s?�=>ZJEJ:�E�T>=>?�=>I =�@NFG�ADO O E0AmC0=>< E$?�@PG�@ \R0T>EJ:�T>I =>< @2G�=>I*C0EJ< @NZ$@�?�@"=��0T>@N=>:�p-A�Y�:��=��B�/,���� �8����>W�W��=��?.?���$R�G�G�EJ:�@BADC0E0?�@%ZJEJFN=>Im?�@NC0EJO < I^ADI =ST^]�=0G�=>ISEJrJ:�@%:$R�C0=>I E@N:$< =>I E��=>O @NO < =FBAG�ADI < =@N:$< =>I^Am?�=>FNFBALI^AD?�@NT>=H{$R�AD?�I^AD<^Am?�@ ��W$T>@NE�\=HR�::$R�C0=>I EL@N:$< =>I E �*<^ADFN=*T^]�=

� � � � � w � ²-x � y*:�A0?�@NC0EJO < I^ADp>@NEJ:�=m?�@NI =>< <^A0O @%G�R"\E0n;ADI =LG�=>Im@N:�?�R�p>@NEJ:�=LO R ��Y'$= ��� �ADFNFNEJI^A

� � ��Y$R�G�G�EJ:�@BADC0E�T^]�= �0O @BA[FBA[G�ADI < =@N:$< =>I^A�?�=>FNFBA�I^AD?�@NT>=�{$R�AD?�I^AD<^A[?�@ ��W%@N:G�ADI < @NT>EJFBADI = �/��� � � w � ²-xV�DU[?�AD< E � ²JWsFBA[G�ADI < =�@N:$< =>I^A�?�=>FNFBA[O R�A�I^AD?�@NT>={$R�AD?�I^AD<^AS\=mAD:�T>EJI^A��*O = w � ²-x � w � ²-xV�JW$=>?[\=�� ²mADFN< I @NC0=>:$< @;Y

y*:�ALO =>T>EJ:�?�AS?�@NC0EJO < I^ADp>@NEJ:�=HT>EJ:�O @NO < =m:�=>F2:�EJ<^ADI =HT^]�=LO = �\=mR�:�@N:$< =>I E0ADFNFNEJI^AS\=R�:0I =-ADFN=�� ��W$=*{$R�@N:�?�@P=>O @NO < =HFBAmO R�AmI^AD?�@NT>=H{$R�AD?�I^AD<^A � ��U2o�ADO <^Am?�R�:�{$R�=HG�I =>:�?�=>I =@NF�CADO O @NC0EH@N:$< =>I E � � � ��Y

²��

Page 16: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

t"ALO =>T>EJ:�?�AS?�@NC0EJO < I^ADp>@NEJ:�=*]�AL@NFPZJAD:$<^ADrJrJ@NEm?�@"=>O O =>I =LEDZ$Z$@BA�W$=HFNESO ZJAD:$<^ADrJrJ@NEm?�@n;ADIP@N:$< =>I ZJ=>:�@NI ='@J:$R�C0=>I @DI =-ADFN@D='FN='FNEJI E%G�I EJG�I @N=><-\As:�=>FNFBA'?�@NC0EJO < I^ADp>@NEJ:�="?�=>FNF;Q =>:$R�:�T>@BAD< E

w�� �$x w�� �>x�� � � � � � w � ²-x ��� �T^]�='G�ADI FBA%O EJFN<^AD:$< Es?�@$:$R�C0=>I @D@N:$< =>I @;Y2t"A%G�I @NCA'?�@NC0EJO < I^ADp>@NEJ:�='\=%G�@ \RHT>EJC0G�FN@NT-AD<^A�W^CA:�EJ:0n;ASADG�G�=>FNFNE0AS:�EJp>@NEJ:�@"T^]�=m:�EJ:�I @NrJR�ADI ?�@N:�ES@":$R�C0=>I @"@N:$< =>I @;U':�=>FNFBAS< =>I C0@N:�EJFNEJrJ@BA?�@ #*@NFNo�=>I <srJ@;\AmT>@N<^AD<^A�W$=>O O^A\=*�Pf$_ h�Y

tP=2?�@NC0EJO < I^ADp>@NEJ:�@-@NC0G�R�I =2G�EJO O EJ:�EsR�O^ADI ='C0=>p>p>@JT^]�='=>O R�FBAD:�Es?�ADFNF;Q ADCSo�@ < E'I @NO < I =>< < E?�=>FNF;Q =>:$R�:�T>@BAD< E0?�A0?�@NC0EJO < I^ADI =JWP=>?�@N:�T-ADI :�AD:�E{$R�@N:�?�@2R�:�A�j,b-e�#Jb-e8�-h[iLhJk%$�`BhJu-b>gBgN`Bk^h?�=>FNFBA�CAD< =>CAD< @NT-A�U�@NFHM�:�=�?�@mG�I EDZJADI =�R�:�=>:$R�:�T>@BAD< E�rJ@NR�O < @ M�T-A�EJrJ:�@mC0=>p>p>E�?�@ VC0EJO < I^AD< @NZJE�YB�*EJ:ALT-ADO ES=>O O =LO EJ:�ELO <^AD< =mo�=>:�@BADC0@N:�=*?�=>@?�2I @N:�T>@NG�@ w ?�=>FNFBAmCAD< =>CAD<;V@NT-AJx>WJ?�A7(mADR�O O w G�=>IsFBA*O R�Am?�@NC0EJO < I^ADp>@NEJ:�=*K < EJG�EJFNEJrJ@NT-A�Q-?�=>F�2�b^dJ_ b-iLhMU>dJe�#JhJiLb-e�j,hDgNb#Jb>gBg%6 hDg �Jb-v-_ h$x%AD? #*@NFNo�=>I < w G�=>I*FBALO R�AL?�@NC0EJO < I^ADp>@NEJ:�=mK < =>EJFNEJrJ@NT-A�Q$?�=>F�2�b^dJ_ b-iLh:#Jb>gBgNhv^hDc>bDx>Y2z2O O =%O EJ:�EsG�=>I-\Esn,R�EJI @J?�=>FNFBA%G�EJI <^AD<^A%?�=>@$C0=>< E$?�@JADR�< EJCAD< @NT>@-?�@J?�@NC0EJO < I^ADp>@NEJ:�=JWT^]�=SO EJ:�ET>EJO < I =>< < @sA0FN@NC0@N<^ADI O @2AD?[R�:�A0I @NT>=>I T-A:�=>@%O @NO < =>C0@2?�A0=>O O @sADR�< EJCAD< @Np>p-AD< @;WO =>:�p-ALG�EJ< =>I :�=LR�O T>@NI =JY

� @NC0EJO < I^AD< ELR�:�=>:$R�:�T>@BAD< E0T>EJ:�C0=>p>p>@2@NC0G�R�I @PO @2G�EJO O EJ:�E0EDZ$Z$@BADC0=>:$< =HT>=>I T-ADI :�=?�@NC0EJO < I^ADp>@NEJ:�@-G�R�I =JUP:�EJ:HO EJFN<^AD:$< EsG�=>I"C0EJ< @NZ$@-=>O < =>< @NT>@;W-CA%AD:�T^]�='G�=>I"F;Q @N:$n,EJI CADp>@NED:�=ADrJrJ@NR�:$< @NZJA0T^]�==>O O =�@N:�rJ=>:�=>I =�G�EJO O @N=>?�EJ:�E�Y3$@sG�R"\E[G�=>I-\E�G�I E$T>=>?�=>I =�AD:�T^]�=:�=>FNFBA?�@NI =>p>@NEJ:�=mT>EJ:$< I^ADI @BA�Us@2C0=>p>p>@2T^]�=L=>O R�FBAD:�E0?�ADFNF;Q ADCSo�@N< EmI @NO < I =>< < E?�=>FNF;Q =>:$R�:�T>@BAD< E0?�A?�@NC0EJO < I^ADI ='G�EJO O EJ:�EH@N:$n;AD< < @Jn;ADI2G�ADI < =s?�@$R�:SO^ADG�=>I =sCAD< =>CAD< @NT>EsADT>{$R�@NO @N< E�WD=%n,EJI :�@NI ={$R�@N:�?�@"?�@NC0EJO < I^ADp>@NEJ:�@"G�@ \R�T>EJC0G�I =>:�O @No�@NFN@"E0C0=>C0EJI^ADo�@NF @P?�@2{$R�=>FNFN=mG�R�I =JYmy*:[=>O =>CSVG�@NEST>FBADO O @NT>E�\=m?�AD< E0?�ADFNFBAL?�@NC0EJO < I^ADp>@NEJ:�=H?�@��sAD:$< EJI*?�=>FNF;QNb>c>`Nc>j,b-e8�-h:#J`%e�f$iLb-_>`%_ b^hDgN`j,_ hDc>k^b-e�#Jb-e�j,` w T>EJI EJFNFBADI @NEs@NC0CS=>?�=>?�@BAD< E%?�=>FNFBA%:$R�C0=>I^ADo�@NFN@N<-\A'?�=>@$I =-ADFN@$ADFNrJ=>o�I @NT>@$='?�=>FNFBA:�EJ:[:$R�C0=>I^ADo�@NFN@N<-\AS?�=>@%I =-ADFN@Bx>W"T^]�=0]�AO EJG�G�@BAD:$<^AD< EFBA0?�@NC0EJO < I^ADp>@NEJ:�=LEJI @NrJ@N:�ADI @BAS?�@tP@NEJR�Z$@NFNFN=s:�=>FNF;Q @N:�T>EJ:�O T>@NELT>EJFNFN=>< < @NZJEm?�=>@"CAD< =>CAD< @NT>@;Y

�%EJC0=0rJ@;\A�G�=>I0FN=?�@NC0EJO < I^ADp>@NEJ:�@%T>EJO < I R�< < @NZJ=JWs:�EJ:�O @*G�R"\E[?�R�:�{$R�=�?�=>T>@N?�=>I =�AG�I @NEJI @PO =HFN=H?�@NC0EJO < I^ADp>@NEJ:�@�G�R�I =mO @BAD:�ELG�I =^n,=>I @No�@NFN@"AL{$R�=>FNFN=*@NC0G�R�I =JY

� � � � �"&'!�� � �t"A[T-ADI^AD< < =>I @NO < @NT-A w EDZ$Z$@BADC0=>:$< =0=>O O =>:�p>@BADFN=-x?�=>@H< =>EJI =>C0@*?�@*=>O O =>I =�K ZJ=>I @;Q%\=[@N:�R�:T>=>I < E�O =>:�O E�@NF'FNEJI EADO G�=>< < E�C0=>:�E@N:$< =>I =>O O^AD:$< =JUmC0EJFN< E\=S@N:$n;AD< < @2ZJ=>I E�W"CASG�E$T>E[\=O @NrJ:�@ M�T-AD< @NZJE�Y2t"AmI @ X�=>O O @NEJ:�=mO R�FNFBALCAD< =>CAD< @ T-AH]�ASAD:�T^]�=H@NFPT>EJC0G�@N< Emn,EJ:�?�ADC0=>:$<^ADFN=?�@P@NO EJFBADI =*rJFN@"ADO G�=>< < @2?�@P@N:$< =>I =>O O =L:�=>@"I @NO R�FN<^AD< @PCAD< =>CAD< @NT>@;W-ESFBAmFNEJI ELCAD:�T-AD:�p-A�Y

�ADI =>o�o�=sI @N?�@NT>EJFNEsG�I =>O =>:$<^ADI =*{$R�@$=>O =>C0G�@$?�@$I @NO R�FN<^AD< @$O @NrJ:�@ M�T-AD< @NZ$@;Y \zG�@ \RLO =>:�O^AD< EI @N:$Z$@BADI =sADFNFN='=>O G�EJO @Np>@NEJ:�@�?�@�O < EJI @BA*?�=>FNFBA*CAD< =>CAD< @NT-A'T^]�=s:�=sG�I @NZ$@NFN=>rJ@BAD:�E*rJFN@�ADO G�=>< < @O T>@N=>:$< @ M�T>@;Y�q*?�=>O =>C0G�@NE�W"`Bh����J`Bd�hJj,j,_ hJu-b-_^c>d[`NgM�Jb-e�`Bd[?�@ � R�:�]�ADC AD?�R�:�FN@NZJ=>FNFNE=>FN=>C0=>:$<^ADI = w CAH:�EJ:0o�AD:�ADFN=-x>W$= �m`Nc>j,dJ_��mdVUmiLhJja$�b-iLhJj,`Bk>c*?�@W$< @NFNF �%=>FNFPAD?0R�:FN@NZJ=>FNFNEG�@ \R0=>FN=>ZJAD< E�Y

q*rJrJ@NR�:�rJ@BADC0E*O EJFN<^AD:$< ELT^]�=H@NFPT>I @N< =>I @NEL?�@PO =>FN=>p>@NEJ:�=m?�=>FNFN=HADI =>=m?�@PI @NT>=>I T-AL@N:rJ=>:$V=>I^ADFN=H=H?�=>@"I @NO R�FN<^AD< @"@N:0G�ADI < @NT>EJFBADI =L\=m?�@P@NC0G�EJI <^AD:�p-AmG�I @NCADI @BAHG�=>I*FBAmZ$@N<^ADFN@N<-\AH?�=>FNFBACAD< =>CAD< @ T-A�YPt'Q =>O G�FNEJO @NEJ:�=%{$R�AD:$< @N<^AD< @NZJAs?�=>FNF;Q AD< < R�ADFN=%C0EJC0=>:$< E%O < EJI @NT>E w n,EJI O =sR�< @NFN=JW

² �

Page 17: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

CAST>=>I < E�:�EJ:�O R��0T>@N=>:$< =JW2G�=>Imn;ADIHT-ADI I @N=>I^AJxmO @'G�R"\E�G�ADI^ADrJEJ:�ADI =0ADFNF;Q @N:�{$R�@N:�ADCL=>:$< EADCSo�@N=>:$<^ADFN=JWP=T>EJC0=S{$R�=>O < E�G�R"\E[G�I EDZJE$T-ADI =0=%OP=>< < @*?�=>FN=>< =>I @;Y�y*:�A�I @ X�=>O O @NEJ:�=T^]�=G�=>I C0=>< <^AL?�@P?�@NC0=>:$< @NT-ADI =*@NFP?�@NC0=>:$< @NT-ADo�@NFN=sG�R"\ES?�R�:�{$R�=m=>O O =>I =LG�ADI^ADrJEJ:�AD<^ALAD?R�:�AADp>@NEJ:�=*?�@"?�@NO @N:�{$R�@N:�ADC0=>:$< E�Y

� ���� �,��t"AHI @ X�=>O O @NEJ:�=*G�R"\Em=>O O =>I =mR�< @NFN=*AHT>=>I T-ADI =H?�@�O G�EJO <^ADI =HF;Q ADT>T>=>:$< Em?�AmT>=>I < @"ADO G�=>< < @PT^]�=G�EJO O EJ:�ES=>O O =>I =LI @NO R�FN<^AD< @P:�EJ:0n,=>T>EJ:�?�@;W�AD?�ADFN< I @PT^]�=HFNESO @BAD:�E�Y

y*:S=>O =>C0G�@NE*T>FBADO O @NT>ES\=%n,EJI :�@N< EH?�ADFNFBA7#Jb-j,b-_>iL`Be�h��-`BdJe�bHb>c���gN`Bk-`Bj,h7#Jb>gBg%6 � $ b>c>`BiLdme�f�$iLb-_ d*�P_>`BiLd � � W�AD?0=>O =>C0G�@NEL@N:0< =>I C0@N:�@�?�@PR�:�AHn,EJI CSR�FBAHADFNrJ=>o�I @NT-A w =>ZJ=>:$< R�ADFNC0=>:$< =I @NT>EJI O @NZJA�W>T>@NE�\='T>EJ@N:$ZJEJFNrJ=>:$< =2@$G�I =>T>=>?�=>:$< @�G�I @NC0@Bx>W>R�:�A%I @NT>=>I T-A*T^]�=%]�AsE$T>T>R�G�AD< E*C0EJFN< @CAD< =>CAD< @ T>@$M�:�ESAD?z2R�FN=>I E�Y29;FPT-ADCSo�@NEH?�@PEJo�@N=>< < @NZJELI @NO^ADFN=HA�(mADR�O O-W$T^]�=H]�AmT^]�@N=>O < E:�EJ:HG�@ \RmR�:�A%n,EJI CSR�FBA'=>O^AD< <^A w T^]�=sAD:�T>EJI^A*EJrJrJ@D:�EJ:mO @$T>EJ:�EJO T>=-x>WJCA%O EJFN<^AD:$< EsR�:�A*ADG$VG�I EJO O @NCAD<^A�WD=>?0]�AmT>EJ:�rJ=>< < R�I^AD< ELT^]�=mADO @N:$< EJ< @NT-ADC0=>:$< = � � n,EJO O =*R�rJR�ADFN=*AD? ��� FNEJr � Yt"AmO R�ALT>EJ:�rJ=>< < R�I^Amn,R0ZJ=>I @ M�T-AD<^AL?�A�#HAD?�ADCADI ?S=H?�=HFBA7�%ADFNF��=>=��"EJR�O O @N:0:�=>F%²�������WJ=<^ADFN=%I @NO R�FN<^AD< Em\=s?�@NZJ=>:$<^AD< EHT>=>:$< I^ADFN=s:�=>FNFBA*< =>EJI @BA*?�=>@�:$R�C0=>I @;WDADF$G�R�:$< Em?�@$C0=>I @N<^ADI O @�@NF:�EJC0=*?�@��2=>EJI =>CAm?�=>@?�*R�C0=>I @W�2I @NC0@;Y ��I^ALG�ADI =>:$< =>O @;W�FBAL?�@NC0EJO < I^ADp>@NEJ:�=*EJI @NrJ@N:�ADI @BAR�O^A-ZJALC0=>< E$?�@P@NC0G�R�I @ w AD:�ADFN@N< @NT>@Bx%@N:C0E$?�EL=>O O =>:�p>@BADFN=JWP=>?�R�:�AL?�@NC0EJO < I^ADp>@NEJ:�=HG�R�I^A\=mO <^AD<^AL< I EDZJAD<^AmO EJFNELC0EJFN< Em?�EJG�E�Y

y*:0ADFN< I EH=>O =>C0G�@NEmT>FBADO O @NT>ES\=s?�AD< Em?�ADF������*�P_ dJv>gNb-iLh�#J`��m`NgNv^b-_>j>W-T^]�=*I @NT^]�@N=>?�=*R�:C0=>< E$?�ESG�=>I*FBAS?�=>< =>I C0@N:�ADp>@NEJ:�=H?�@2=>O @NO < =>:�p-A?�@"O EJFNR�p>@NEJ:�@s`Be�j,b-_ bm?�@2=>{$R�ADp>@NEJ:�@"?�@NEDVn;AD:$< @N:�=JWD@N:$ZJ=>T>=*?�=>FNFN=*O EJFNR�p>@NEJ:�@"_ h��-`BdJe�hDgN`"T^]�=*=>I^AD:�ELFBAHG�I^ADO O @PAHG�ADI < @NI =*?�A � @NEDn;AD:$< EO < =>O O E�Y��%EJC0=HADo�o�@BADC0ELrJ@;\AL:�EJ<^AD< E�W�<^ADFN=mT-ADCSo�@BADCS=>:$< Em?"Q ADT>T>=>:$< E]�ASG�=>I C0=>O O E0FBAO EJFNR�p>@NEJ:�= w :�=>r$AD< @NZJAJxH?�=>FsG�I EJo�FN=>CA0?�AG�ADI < =?�@�&�AD< @BADO =>Z$@N< T^]"W2C0=>:$< I =SF;Q AD:�ADFNEJrJEG�I EJo�FN=>CAHG�=>I*FN=*O EJFNR�p>@NEJ:�@PI^ADp>@NEJ:�ADFN@2\=mAD:�T>EJI^ASADG�=>I < E�Y

�%>W,���� �?����,�� �8�o��>?�t"AS< =>O @'M�FNEJO EDM�T-A�W"AD< < I @No�R�@N<^AA �2@N<^ADrJEJI^A�W�T^]�=K @':$R�C0=>I @2I^ADp>@NEJ:�ADFN@"O EJ:�E�FBASC0@NO R�I^A?�@%< R�< < =FN=ST>EJO =JQ%\=R�:�=>O =>C0G�@NER�FN< =>I @NEJI =?�@*K G�I EJrJI^ADC0CA$Q�:�=>F%O =>:�O E�T>EJ:�O @N?�=>I^AD< E:�=>FNFBALO =>p>@NEJ:�='|�Y |�Y�$=>T>EJ:�?�EFNESO T^]�=>CASrJ=>:�=>I^ADFN=L@NZ$@"?�=>O T>I @N< < E�W"=>O O^AAD< < =>:�?�=>ZJA0G�=>IFBAmO R�ASI =^n,R�<^ADp>@NEJ:�=LO EJFN<^AD:$< ESR�:�ALZ$@NO @NEJ:�=mG�@ \RCAD< R�I^Am?�=>@2:$R�C0=>I @PI^ADp>@NEJ:�ADFN@;W$T^]�=mn,R< I^ADR�CAD< @NT-ADC0=>:$< =%rJ=>:�=>I^AD<^AS?�ADFNFBAH?�@NC0EJO < I^ADp>@NEJ:�=*?�=>FNF;Q @NI I^ADp>@NEJ:�ADFN@N<-\A*?�@ � |�Y�'ADFN=SI @NO R�FN<^AD< E�T>@s@N:$< =>I =>O O^A[G�=>I-\E�{$R�@%G�=>ISR�:�C0EJ< @NZJE0?�@NZJ=>I O E�W2=T>@NE�\=0T>EJC0=S@NF V

FNR�O < I^ADp>@NEJ:�=0?�=>F%n;AD< < E w T>=>I < E�?�@ OPR�O E�W2=0n,EJI O =0R�:�@NZJ=>I O^ADFN=-xmT^]�=@N:�=>O O E�T>@sO EJ:�E�ADO;VG�=>< < @*:�EJ:�ADG�G�ADI =>:$< @;Ws?�@NG�=>:�?�=>:$< @*O EJFN<^AD:$< E�?�ADFNFBA�O R�A[ZJ=>I @N<-\A[E[n;ADFNO @N<-\A�W'=�?�R�:�{$R�==>Z$@N?�=>:�p>@BADo�@NFN@"C0=>?�@BAD:$< =HR�:"Q AD< < @NZ$@N<-\ALG�@ \RM�FNEJO EDM�T-A w ?�@2I @ X�=>O O @NEJ:�=-x*T^]�=LCAD< =>CAD< @NT-Aw ?�@P?�@NC0EJO < I^ADp>@NEJ:�=-x>Y

�*=>F':�EJO < I E�T-ADO E�G�ADI < @NT>EJFBADI =JWP@NF"n;AD< < E�ADFNrJ=>o�I @NT>E?�=>FNF;Q @NI I^ADp>@NEJ:�ADFN@N<-\AL?�@ � |0Z$@N=>:�=I =>@N:$< =>I G�I =><^AD< ET>EJC0=mF;Q =>O G�I =>O O @NEJ:�=L?�@2G�I EJG�I @N=><-\ASC0=><^ADCAD< =>CAD< @ T^]�=*?�@2O @NO < =>C0@Pn,EJI;VCADFN@;W-:�=>F"C0E$?�EmO =>rJR�=>:$< =JY

� t"ALn,EJI CSR�FBA w�� � x w��� x�� w � ²-xV� �@| ��� � � W�@N:T>R�@2R�O @BADC0E � ²mG�=>IH=>O T>FNR�?�=>I =@NFPT-ADO ELo�AD:�ADFN= �8� �| � �8�JW�\=H@N:�?�@NG�=>:�?�=>:$< =m?�Am{$R�ADFNR�:�{$R�=*O @NO < =>CAm?�@"ADO O @NEJC0@

²��

Page 18: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

w G�=>I%O EJC0CA%=sG�I E$?�EJ< < E$x2O E$?�?�@NO;n;AD< < @�O @BA*?�AD@�:$R�C0=>I @$@N:$< =>I @�T^]�=s?�AH{$R�=>FNFN@$I =-ADFN@w G�=>I T^]P\=0=>O O^A[\=Ln;ADFNO^A0:�=>F'G�I @NC0EST-ADO E�W"=SZJ=>I^A0:�=>F'O =>T>EJ:�?�E$x>Um@N:�ADFN< I =LG�ADI EJFN=JWEJrJ:�@P<^ADFN=HO @NO < =>CAS\=H@N:�T>EJC0G�FN=>< E�Y

� �*@NT>=>ZJ=>I O^A�W%F;Q @N:�?�@NG�=>:�?�=>:�p-A�?�=>FNFBA0n,EJI CSR�FBA0?�A�<^ADFN@%O @NO < =>C0@%G�I EDZJAT^]�==>O O^A�\=n;ADFNO^AG�=>IL@':$R�C0=>I @'@N:$< =>I @;Y"$=S@N:$n;AD< < @'=>O O^An,EJO O =0ZJ=>I^A�W2T>@%O^ADI =>o�o�=R�:�AT>EJG$VG�@BA[?�@H@N:$< =>I @ � =>? � <^ADFN@sT^]�= w�( ²-xV� � | � � ��I*CA�<^ADFN=n,EJI CSR�FBA:�EJ:T>EJ:$< @N=>:�=mZJADI @BADo�@NFN@�:P\=H{$R�AD:$< @ M�T-AD< EJI @;W$=HO^ADI =>o�o�=m?�R�:�{$R�=m?�@NC0EJO < I^ADo�@NFN=%@N:R�:�E{$R�ADFNR�:�{$R�=0?�=>@*O @NO < =>C0@%?�@*ADO O @NEJC0@'=>FN=>C0=>:$<^ADI @%ZJ=>I @*O @BA�G�=>IS@s:$R�C0=>I @%@N:$< =>I @T^]�=mG�=>Is{$R�=>FNFN@PI =-ADFN@;W$=HT^]�=HG�=>I C0=>< < EJ:�ES?�@P?�@NC0EJO < I^ADI =*EJrJ:�@�n,EJI CSR�FBA w :�=>F"FN@N:$VrJR�ADrJrJ@NEH?�@�O EJC0CAs=*G�I E$?�EJ< < E$x'ZJ=>I^AmG�=>I%@�:$R�C0=>I @�@N:$< =>I @�=*O =>:�p-ALZJADI @BADo�@NFN@$:P\={$R�AD:$< @ M�T-AD< EJI @;Y"9;:SG�ADI < @NT>EJFBADI =JWJFBA*n,EJI CSR�FBAsT>EJ:�O @N?�=>I^AD<^AH:�=>FPG�R�:$< EmG�I =>T>=>?�=>:$< =O^ADI =>o�o�=L?�@NC0EJO < I^ADo�@NFN=s@N:"W$=H?�R�:�{$R�=H:�EJ:@N:�?�@NG�=>:�?�=>:$< =m?�A�W$<^ADFN=HO @NO < =>CA�Y

� q*:�ADFNEJr$ADC0=>:$< =JWJFBAmn,EJI CSR�FBA w�� � x w�� � x�� w � ²-xV� ��| ��� � � W$:�=>r$ADp>@NEJ:�=m?�@P{$R�=>FNFBAG�I =>T>=>?�=>:$< =JW2\=m@N:�?�@NG�=>:�?�=>:$< =H=mZJ=>I^ALG�=>Is@":$R�C0=>I @P@N:$< =>I @;Y

t'Q =>O =>C0G�@NEsC0EJO < I^AsT>EJC0='EJrJ:�@JO @NO < =>CA%n,EJI CADFN=2?�@$R�:LT>=>I < Em< @NG�E*G�=>I'@$:$R�C0=>I @J@N:$V< =>I @$O @BA*@N:�T>EJC0G�FN=>< E�YB(��EJ?�=>F$]�As@N:�?�=>o�EJFN@N< E w :�=>F�I @NO R�FN<^AD< E*rJ@;\A%T>@N<^AD< E$x"FN='T>EJ:�?�@Np>@NEJ:�@$O RT>R�@J<^ADFN=2I @NO R�FN<^AD< EsO @Jo�ADO^A�W>n,EJI :�=>:�?�EsR�:�As?�@NC0EJO < I^ADp>@NEJ:�="rJ=>:�=>I^ADFN='?�=>FNF;Q @N:�T>EJC0G�FN=>< =>p>p-A?�@%d%�Je�`%O @NO < =>CAm?�@'ADO O @NEJC0@�G�=>I*@":$R�C0=>I @"@N:$< =>I @"T>EJ:�O @NO < =>:$< =L=mT^]�=LG�=>I C0=>< <^AL?�@"?�@ VC0EJO < I^ADI =HEJrJ:�@Pn,EJI CSR�FBA w :�=>F2FN@N:�rJR�ADrJrJ@NEm?�@2O EJC0CAH=mG�I E$?�EJ< < E$xsZJ=>I^ASG�=>IH@":$R�C0=>I @@N:$< =>I @P=HO =>:�p-ASZJADI @BADo�@NFN@�:P\=H{$R�AD:$< @ M�T-AD< EJI @;Y

t"AHO R�Am?�@NC0EJO < I^ADp>@NEJ:�=sI @NT-ADFNT-AH{$R�=>FNFBAm?�@ "mAD:$<%T>@N<^AD<^AHZJ=>I O ESFBAHT>EJ:�T>FNR�O @NEJ:�=*?�=>FNFBAO =>p>@NEJ:�='|�YN²JU'?�AD< E0R�:�O @NO < =>CALCAD< =>CAD< @NT>E�W�(��EJ?�=>F2T>EJ:�O @N?�=>I^ASR�:"Q @N?�=-AS< I^ADO T>=>:�?�=>:$V<^ADFN=sEJ< < =>:$R�<^ALT>EJC0=sFN@NC0@N< ='?�=>FNFBAm:�EJ:S?�@NC0EJO < I^ADo�@NFN@N<-\As:�=>FPO @NO < =>CA w R�:�A*n,EJI CSR�FBA*T^]�=?�@NT-A�?�@*O>\=O < =>O O^A�T^]�=�:�EJ:�\=?�@NC0EJO < I^ADo�@NFN=S:�=>F*O @NO < =>CAJx>W'=C0EJO < I^AT^]�=�O =�@NFsO @NO;V< =>CA0\=mT>EJC0G�FN=>< E w T>@NE�\=L?�=>T>@N?�=LEJrJ:�@"n,EJI CSR�FBA�WJ?�@NC0EJO < I^AD:�?�ESE0=>O O^A0O < =>O O^AE0FBALO R�A:�=>r$ADp>@NEJ:�=-xsADFNFNEJI^AHO @"T-AD?�=H:�=>FNF;Q @N:�T>EJ:�O @NO < =>:�p-A�Y

�B���/,���=���,�� ���8� �8����>?��2I EDZJADI =%R�:LI @NO R�FN<^AD< EHO @NrJ:�@ M�T-A*O EJFN<^AD:$< E*G�EJI <^ADI FNEmADFNFBAsFNR�T>=%:�=>F�C0EJ:�?�E*?�=>FNFBAsCAD< =>CSVAD< @NT-A�W^n;ADI FNEs:�ADO T>=>I =sT>EJC0=2@N:�?�@NZ$@N?�R�E�Y �%EJC0=2G�=>I2R�:m=>O O =>I =sR�CAD:�E�W>{$R�=>O < EH:�EJ:L\=%T^]�=F;Q @N:�@Np>@NEm?�=>FNFBALO < EJI @BA�U%I @NCAD:�=H?�AL< I EDZJADI rJFN@"R�:�ALT>EJFNFNE$T-ADp>@NEJ:�=Hn,I^ALrJFN@2ADFN< I @"@N:�?�@NZ$@N?�R�@;Wn;ADI FNEm@N:$< =>I^ADrJ@NI =HT>EJ:=>O O @;W�O T>EJG�I @NI =m=>?[AD< < R�ADFN@Np>p-ADI =HFN=HO R�=HG�EJ< =>:�p>@BADFN@N<-\A�Y

tP=mEJG�=>I =L?�@"O @NO < =>CAD< @Np>p-ADp>@NEJ:�=m?�=>FNFBALCAD< =>CAD< @NT-AHO =>I ZJEJ:�EADG�G�R�:$< EADFNFNELO T>EJG�E?�@%=>Z$@N?�=>:�p>@BADI =@%I^ADG�G�EJI < @sI =>FBAD< @NZ$@'n,I^AI @NO R�FN<^AD< @%CAD< =>CAD< @NT>@2?�@NZJ=>I O @;Y�z�G�EJ@NT^]P\=0FN=O T>=>FN< =:�EJ:�G�EJO O EJ:�E�=>O O =>I =�=>O^ADR�O < @NZJ==?�R�:�{$R�=0:�EJ:�O EJ:�E�R�:�@NZJE$T^]�=JW2T>@BADO T>R�:�A[?�@=>O O =mn,EJI :�@NO T>=LR�:�ALG�EJO O @No�@NFN=mZ$@NO @NEJ:�=m?�@"R�:�ASE0G�@ \R�ADI =>=L?�=>FNFBASCAD< =>CAD< @NT-A�U"@N:[ADFN< I =G�ADI EJFN=JW$@NC0G�FN@NT>@N<^ADCL=>:$< =JWJR�:�AHM�FNEJO EDMPAL?�=>FNFBAmCAD< =>CAD< @NT-A�Y

q*?H=>O =>C0G�@NE�W>rJFN@��%gNb-iLb-e�j,`�?�@$z2R�T>FN@N?�='C0EJO < I^AD:�E%R�:"Q @NC0C0ADrJ@ :�=P?�=>FNFBA'CAD< =>CAD< @NT-Ao�ADO^AD<^A�O R�FNFBArJ=>EJC0=>< I @BA�W2=R�:"Q @NC0C0ADrJ@ :�=L?�=>FNFBA�rJ=>EJC0=>< I @BAT>EJC0=SO @NO < =>CAn,EJI CADFN=o�ADO^AD< E�O R�FNFBA�FNEJrJ@NT-A[=O R�T>@N:�{$R�=[ADO O @NEJC0@%O G�=>T>@ M�T>@;Y�9;C0G�FN@NT>@N< E�@N:�<^ADFN=�ADG�G�I E$T>T>@NE\=[F;Q @N?�=-ADFN=?�@*R�:�O @N:�rJEJFNE�O @NO < =>CA[R�:�@NZJ=>I O^ADFN=�@N:�T>R�@*O @HG�EJO O^A�O Z$@NFNR�G�G�ADI =�F;Q @N:$< =>I^A

²��

Page 19: [ebook] Piergiorgio Odifreddi - Filosofie della Matematica

CAD< =>CAD< @ T-A�U"R�:�@N?�=-ADFN=HT^]�=LAD:�T>EJI^ASEJrJrJ@P]�AS@NFPO R�ESn;ADO T>@N:�E�W�=mT^]�=m@N:{$R�=>O < E0O =>T>EJFNE]�A%Z$@NO < E*R�FN< =>I @NEJI @$< =>:$<^AD< @NZ$@$?�@JI =-ADFN@Np>p-ADp>@NEJ:�=JWD?�AD@ )s_>`Be�k-` �P`Bh��[hJja$�b-iLhJj,`Bk^hmADFNFN=2< =>EJI @N=?�=>rJFN@P@N:�O @N=>C0@�G�I @NCA�WD=H?�=>FNFN=HT-AD< =>rJEJI @N=mG�EJ@;Y

q*FNF;Q ADFN< I E'=>O < I =>C0E*?�=>FNFNE%O Z$@NFNR�G�G�EsO < EJI @NT>E�W-rJFN@��%gNb-iLb-e�j,`�?�@��%EJR�I o�A �$@JG�I EJG�EJ:�rJEJ:�ER�:"Q @NC0C0ADrD@N:�="?�@NZJ=>I O^As?�=>FNFBAsCAD< =>CAD< @NT-A�W o�ADO^AD<^A*O RmR�:LG�@NT>T>EJFNE*:$R�C0=>I Es?�@$O < I R�< < R�I =w AD?[=>O =>C0G�@NE�ADFNrJ=>o�I @NT^]�=SE< EJG�EJFNEJrJ@NT^]�=-x*T^]�=SO EJ:�E[ADG�G�FN@NT-ADo�@NFN@"@N:[R�:�rJI^AD:�:$R�C0=>I E?�@2O @N< R�ADp>@NEJ:�@;Y | + ��ADO T>@N:�E�ASG�ADI < =JWP=>O O =SO EJ:�E=>:$< I^AD< =0ALn;ADI*G�ADI < =S?�=>FNF;QNfJc>dST>EJCSR�:�=?�=>FNFBA[T>EJCSR�:�@N<-\A�CAD< =>CAD< @NT-A�W'AD:�?�AD:�?�E�o�=>:�EJFN< I =�@NF*< I @No�R�< E�G�R�I^ADC0=>:$< =ZJ=>I o�ADFN=T^]�=*F;Q ADG�G�I E$T>T>@NEL@N:�O @N=>C0@NO < @NT>EH]�AmO R�O T>@N<^AD< E w G�=>Is:�EJ:0G�ADI FBADI =H?�=>FP< EJ<^ADFN=*?�@NO @N:$< =>I =>O O =G�=>ILF;Q ADG�G�I E$T>T>@NE[T-AD< =>rJEJI @BADFN=JW2@N:$< =>O E[:�EJ:�T>EJC0=SO < I R�C0=>:$< E[CAD< =>CAD< @NT>E0CA0T>EJC0=ADFN< =>I :�AD< @NZJA*n,EJ:�?�ADp>@NEJ:�ADFN=-x>Y

ª ,%Y �,�,�S�,�>�D��;­D� �>�s�>�,�'r�qab ��qaq���b�^'u�k/]%b�mm�s�D¡%� �[±-�D� �,�,�'�,� �s�D�'�D�s�,� � �,�D�D� �,� � �-� �L� �s�J� �,� �>� ¥� �>� �>�D� �>� � �,�,�-¡^�,�J�J�>�,�,� ¤D¤J� �,�2�;­D� �>�s�>�,�P� �Mu�k/]%b�mB]%mWno`%l�mBr�qab ��qaq���b�kD©

²��