100
Ime
has y efaciones to
aumentando su contenido
Sion es na vrtel!
doa APA Ta ides abuts son
sordemi, tune congue precbion emp Hh
lo deje de ser interesante proseuie
Aura: Tengo una considericién difern
(1) un vértice es un vértice, ee
De ahi dedujimos
@ V2 A para todos tos poligonos
De ellos dedojimos Polgones perecos
y no disminuyéndolo, ;En este caso la
jin no aumenta el contenido, yo n0 la llamaria deduccion, sino «veri
cnn: ala verificacin difiere de la verdadera demostracion precisa.
te en que es puramente analitica y estrilb 2
LLastmoa: Pero, sin duda la deduceidn no puede aumentar el content
fd, Si la critica revela que la conclusion es mis rica que la premisa,
hemos de reforzat la premisa explictando los lemas ocultos
‘Kara: Ademas, son esos lemas ocultos los que contienen la sofistica-
ein y la falibilidad, destruyendo finalmente el mito de Ia deduecion
Intl
tan malas como los vicios at
oe (0 Conrasomplos lig frente a contrajemplos bert
todos Jos sistemas poligonsles
x cerrados, es deci os poledros Peligoates sore
Sucesivamente, dedujimot ura ver més de ello que
()V = AG Cm 22m tp pralospoliedrol weseroides norma
Aura: Me gusta la Repla 5 de Dsetal84, del mismo modo que
me gustaba la Regle # de Omega, Me gustaba el método de Omega,
porque buseaba conteagjemplos locales, que no globales: precisamente
Tos que las tres reglas originales de Lambda 19 ignoraban por ser logic
mente inocuas y, por tanto, carentes de interés heuristico. Sin embargo,
‘Omega se vio estimulado por ellas para la invencidn de nuevos experi
‘mentos mentales, avances reales en nuestro conocimiento.
Ahora Dseta se ve inspirado por contraejemplos que son tanto
sjlobales como locales; corroboraciones perfectas desde el punto de
Vista légico, pero no desde el heuristico; aunque sean corroboraciones,
siguen exigiendo la accién. Dseta propone ampliar, sofistiar nuestro
original experimento mental para convertir en heuristicas las corrobora-
ciones légicas, de modo que los casos Iégicamente satisfactorios lo
sean tambien no s6lo desde el punto de vista Iogico, sino ademis
desde el heuristico,
‘Tanto Omega como Dseta estin a favor de las ideas auevas, mientras
= A4. 602-240-104 Fe, pr tos potion nes
‘ormales con caras miltiples conexas,
ovnascashen
n+ cos Poliedsos mesfer
;
del'punto de partida trivial? Y. puesto que * adudsblee
verdadero, también lo es el reato, PN? $8 () * Indadableme
Toth tow soe le rear: tla mis tarde eb suman de oti se comin an
Simbas a de te porn, th de le dele de ma infront. Esta logics informal atigos
tm enérpiameme defendica por Descartes, Kane y Poincaré; todos sll dexpreiaban
Widget formal assotcica, chminindols por exéel e itlevaste (aabando al msmo
timp a infalibidad de la Fri logs informa)
12 Poincare 1902), pg. 33.
{a cam de ema’ ocuos, qoe no coment sino en a eritia matemica + mediedos
el dieclnueve, eta lnimamenterlaconada con el proceso gue mis tarde soartuith
Ins races pore terarbar ns es dl emai or ees dt lage Loe desarolon
mat imporances en tori login fueron preeedidos normalmente por el dearollo de
(Peas matematen. Deagricidamente, aun fos mejores hstoriadores de I gia tienden
f prestar nencion exclesvamente Ton umbis ow lr lari Iga, sin peratarse de sos
ales en los combo en fa prec ligee CE tambien le nota 17.
Tat Véaae [npg 95.
18 Vans It p76
1 Veaae la pas. 68,
Sm Ce pg. 7-318
1) Log fai spe mo dadben
sonsecuena ya nay teal ese
ert pole Pan ee
todo un sistemts.sNormalmene conn
Mana, orden so mcerees
(ise Sg tone pce
4a gee pombe, apts
eeerptarieeerac aes
SOO ct ee a12 10
Tene bs reftaiones
ejemplo, los marcos de cuadro constituyen contracjemplos tanto
Jes como globales del teorema de Cauchy: son, por supuesto, corro-
raciones por lo que respecta exclusivamente a la rerdad, aunque son
futaciones pot Io que atafle al confenido. Podemos denominar Légices
los primeros contraejemplos (los globales pero no locales) y hewristcer
lus demas. Pero, cuantes més refutaciones reconozcamos (logicas
heuristieas) més rapidamente crecerd el conocimiento. Alfa considers
relevantes los contraejemplos logicos y rehiisa dar el nombre de con-
fucjemplos a los heuristicos, debido a su obsesin con la idea de
tue el desarrollo del conocimiento matemitico es continuo y en él
hv desempena ninguna funcién la critica .
‘Aura’ Usted expande artficilmente los conceptos de refucacién
y de critica solo para justifiear su teoria critica del desarrollo del conoci-
iento. ¢Se trata de trucos lingiisticos como hetramientas del filésofo
que Lambda y especialmente Gamma estin preocupados por los #
lingbstcos que les permitan abordar sus irelevemter Contec
slobales y no locales, gue son los dnicos relevantes desde su encen
punto de vista. oe
Zora: Asi que el punto de vista Ligico es wexeéatricon, no?
Aura: Sx punto de vista ligico si lo ex Pero deste cet
considracidn, Sea que Ia dedacion aumene 6 n0 el contenido (a
sin embargo, que por supuesto que lo aumenta), sin dade parce her
Zari dacrrla anton al anime, Conienree ae eae
¥ dejamos que el conocimiento crezea potente y armoniosamente
explicar la relacion que existe entre ef numero de vewiccs seat
cars de un poliedro cusigues Se ata de un eee si ama
Zea (a Kapel: gAcsso Alfa ha perdido el juicio? Se parte
wn problema, no de un vértice!187 ps " me
Aura: Feta eampata pascal, aunque icsinblemente vitro eee
‘nos conduciré a teoremas que no son «evidentes por sf mismos, si syudarnos a dilucidar la cuestiéa.
gue se deducen solamente de princiion verdaderos y conocilon Gausia: Somos todos oidos.
la accin continua e inintercumpida de una mente gue posee ane ef
vison de ead uno dels pat del proeein%, Nunca Iuesen pod
ser alanzados po una obtervacion tne y por un repeating fog
Zara: Tengo mis dudas sobre esta vierori final, Tal desarol
twunce nos eorducité al cilindso, ya que (1) parte de an sence
al llindro carece de ellos. Asimismo, podemos no llegar nuns aw
Poliedco unilateral oa poliedros multi-dimensionales® Pucde ocart
perfectamente que esta expansion picza 2 pleat y continus x Seve
2.un punto, lo que le obligue a buscar un evo comienso revolucions
vo, Adem incluso ext spaciies continua ext ena de cation
¥ de erties,