BIBLIOTECA DE CULTURA CIENTIFICA ABC de Reade, Bertrand Rats (42 ot) Tasos 1 sts du Natale Bernd Rag [3 aly Niner!‘ Lngugem oh Caneas rare fat 4 tlio dk Fey Bman'e Toe Ges) @ Mateo Dio « a Cencas de Wesel £ periey Peopestvas ds atoms, Hone Beast Marrs ¢ tmnt, E Kune FM (2+ A Lisa do Deebeinencs Mises 2a! Homer e Molin, Novmer ina Murs: 4 Citoia do Pensameto Celadoe, VN, Pach (Bed) A Orig da Ter, WM Set net Ine LaKatos 9) ALégica do Deseobrimento Matematico Provas e Refutagdes Ovsiado por Jone Womans © BLE Zar Traiupto de Narusant C. Cariro 1 de ftiia das Idéas Contemporinese Pics nveradade Gama Fibo DEDALUS - Acervo - IME Sime '31000036307 ZAHAR EDITORESeg a ‘io erga MPatine — Th Lope of Matheny St ei le ce, pacty om ney is Londres, Ingiat fodiee Commish © 1078 by Cambrige tr be Unive Pras Pri dt Orvindres : ‘Metis te aioe a ‘me Conjacare B Pt Belle da concur Midna ren s eo ae fia att mice eisiio "aes, Hachsbs por parton, etc eta 0 ee Se Laval coors 2) RMS Svea Gal Cortana is 0 Probona do Conte Hangame A i ont ttn ANAK EDttonns6 ‘A Léaica v0 Descomnuesto Ma “reat afutagies ings, Pattee in % Chm rte, Pode Conte PREFACIO DOS ORGANIZADORES a tad ‘ 1A Satna mitade do eon ta (rsa grande amigo e, profesor Imre Lakatos, morreu ® haart, ei Eiamunts of 20d soverero de 1874, quando, coo Sou acs gic yas cic racae ™p Me exten ate cman oma, oh caremo.o rote Hee ie ieee in dor mals mpetants dese proietas ee OSes a rrsbo mosiieada e amplada dese, br ShBie caus, topic do. Deseobrimento, Matenstico, Pitlcade sx quate pares 20 Brith Journal for, the uleade ey Sewce, 14, 1009-4 Lakatos de hi Tanto Gavia Sostiatado a publicagio deste liv, rpas_adlara hivpre a entrege dos originais, na esperanga de emends? SPORE cor ends male © enaal,sltin de eerescentar Ine 4 sperteal materiel, Este io ol sobrerancira retar- Miveigade de seus intresses quanto & fosotia ‘iuice, may fnaltmente, no vero de 1073, del ae Mie dar prodseguimento 2 publleagto, Durante aquele argo. dlseatimos. com ele o plano db edigdo, ¢ exforea: + Cato no Meads Provan Rates 2 Bales fe Cuneta “Principio de ERD Sate cante eget, tw | Bot pe penny oe et age the MF BORGedS no denjos de takes, no obtant, a8, ini a {roan andl gue inclulmos trés novag sages em serfs: ‘mo tivigindl, “Proves e Refutagoes” (que necta ediglo centamhae Gis aa Boa Tex parte biselase no Capliulo TI da tase doutoral de Taxatoe ein Cambridge, em 1061. (© original do, ensaio [lores fefutagoee” ra uma verefo muito alterada vPipereigoate do Capitulo T dessa tere) Parte do, CaptPasricio 00s Oxcaszavones ° Quanto & aprsmtaeio, preceupamo;nos em dlxar 9 mated como o-propr Laxetsr teria publcado {ato 60 Capita Tab eho pelpaguase aimente tm alteragh com excegio de und poutas eon seh renee erdents lapsol minimos) "Contac, motif Ties considerveimente 0 matt anteriameste tases ‘Sembora,reteremos, apenas quanto forms, © no jaito ao‘ canteudn, Como isso Wade pater ain tants fia do comu, cabo usta nesd aide em ‘fos, eas pales Eiiatae sempre teve muito euliado quanto & pre: seotagho de trabalho. sus a sere publiaton, © ks Ga publcagto ele sempre. distula” nurses’ cones ‘clogs « apigs,solctando cies sages «aoe Tbotamenés, Booman ceiog do" que’ mateval nebo fa piblcao' tei sb tetado do eae mo, eqs Saleragies teria sito ainda tnt tastes ao qhetss Ge oustmos fer” Noo conbedimenta (pla expeine perl) das aitealides que Lakatos ehitentat pare Spretentar” sun posi" co ‘ndo' mls ‘caro peal iigeu tos a tantarmetiorr a aprseniao dee fei‘ tor es ole Bec gees ae | novus soyées aprevntadas mio tao veigiss de Soho auisa Nitric ae 0 assunte ‘aneln camo devia, caso 0 propo Lalatos tees fe itanlemento de sua pong, cis gui Teor apeastuet, 18 oe apie, sabreth als APU Meoahbladee 1 eens aFoatoig ree a mate oro a a! mas “deuldaes vgn «bab on MgO mais esse materia uaa visto o-material em que se baselam, may achamos que sempre etivemosmulto perto de Lakatos, ¢ bastante famillarizades ‘com ‘suas pablieagées anteriores, de mole a podermos tentar a apresentagao do seu trabalho como le proprio o teria feito, amos “correla mmodiicar ‘Bos sobremedo agraddvel a oportunldade de langar bor Lakatos, mesmo ne | este lio que enceria’ um dos. Yaoaines sale sane string © Proprio teria | antes de Lakatos sobre a osofia de matemitlen pols (om notes indieades sankey, Portanto, a aaai- | ow permite saldar parte da divide intsletaal seared crim want scent) tgumas | que Lamon pare cont le. Joux Wounats ur duct 1AGRADECIMENTOS © materia! em que se bascou este tirto tere longa g,rariada histria, como em parle j@ menelonamos ko Prefislo. De aovrdo com os agradcrimentss face’ yoo Lakatos no seu ensalo original de 1003-64 (,empresce ‘agul como’ Capitulo 1), aquele trabalho ‘comeyos cm em 1958-69, no King's Collage, Cambridge, e fol a0 pela primeira ves no Semindrlo Kal Popper, sa London School f Beonomles, em margo do 1059. Outta versio fol acres. cexntads & sus tese de coutorado em Cambrlige, cm 1001, ze qual o restante deste lvzo também se basela "A toot {ol prepareda sob a supervisio do Professor Re Br Breit Waite, "Quanto A tese, Lakatos agradeceu ‘© paironnio ‘nanos da Fundacto Hoskefeler« declara ter “restiide ‘ruta ajuda, estimuloe critica vallosa do Drv. J, Sali No restante'dos agradecimentos de Lakatos, lees” cla mg tins vam de ea, Ge ldo de nz 2r apotheosis, "Wie, A dist mi a taba oS i pp see pe eae ‘dpa’ Hou et Ao preparar esta livro, os editores tiveram a coope- regio de Jobin Boll btlke ale, Moco Machover Jee) ‘aveiz, que multo geatiimente ieram tuscunhos do Capkn alo I © os ay tone Cate ns, também, agradecer © tabatno D. Mitchel e'especialmente de Gregory ’ fee eament_ cota ness nereke ogc” fs cu Getrado por’ Lakatos ‘A Léotcn v0 Desconsmiesro Maree pendies, contribuindo com feeundas ent ‘nosso remaljamento. do material 2. Ez, f INTRODUGAO DO AUTOR Spoucas vexss na histéria do pensamento, aconteee do gurge um Poderoso mélodo nore’ o estilo progresso, e todas os problemas 2 Vege sitizconal da’ solupio de problemas Pex chamare de escola “formalsta” a escola de fosotia, “piftematica que tondo a identificar matamdtica com sua (Gistragio txomdtica formal (ea flosofia dx matemie SCarc Gas), 1 pp. ed. Ct endl Peano [10N, » « Baste Wanenad Ubi, 'p “We ete allpcts agat preemie ta ‘a ptnal (te: Se Te se SeMA Lote v0 Descomsiewro Maticinicy rt00uGKo vo AvroR 6 Gh Gum metematemétics). Uma das mais clara atiema, ES, Posio formatista encontrese mn Catsay HOTT flees? dtee gue (@) a tlsaia sje nabs eae met de clincia..” @) “aque a ligca da cece Pe Gls grie que a sintene ldgien da languages, BAC Fagen cite, Metamatemétea see segs oa sari tgem Ratemtca” (pp, ale 9). Ou cniae nt Fagus Stemitca deve wer substtde, page © formatieme destiga a E flosofa da materia, uma “ner ques queamatica, de ets mean de sneer ss tiie stomata (00), 92) ro atl dominion a0 formelmo, &0 tentado Beetsoeae Ranta hse dn mately fata do Feiasio ca flowfia, tomoies cee so" paso et dt 'materaica,yttand cesta a ends: cursos da hist donee, rnouse tomas” ¢ 0 blared tents. do poi gic De cord eam o posiisme logic, o enum Bisco s6 ¢ signitieativ ao for ou “tautaloglco™ ou emp. Ero. Ue ver que toalemitice novormal no’ ¢ ea nen pis are sr den de i ‘esproposita," Os dogmas do posits ni sido prejudaials para & toa e wie da Sng date goin 4 etn espa a ea’ See Fe Pee sas cle 2 a ENT. Fo ete Satine ge Thad fae @ Sein Skt fe fe Stal pel Cy te ech lS ate a ee ua ae a Wr siauads Ste, ee Concaae Sree se ae elt a epee nal aL yl, ec ag Dinas @ mn eae do ot Pela formelizaeto dos Calculus, dot lM" So, an wie! daenndo poise St enone gt eit fees etna dang eer ta ae tea ana ee He ee dona ad Eos re eae, Fah ett, 9 on ce te oa abrevigho 0 elnadedtar for ee Se ee aes ‘posta a qusiqur matics ge tise ap gamle SE ih et ms ta coe cen ¢ NS prea RS 8D last’ eae each eae sf aan mi pe Si eee ee oS Sad pts ear at ns‘A Lccs vo Descosmnato Marreknco Iwmooucio vo Avro ” ue-s6 se pode ser orlentado pelo “método" do “vis ialscipinado e bea sorte”? ets i erative ene, 0 rao de €°0 ivacionalismo da suposiqdo cega nao preva. caso da matamdtica vive" uma investigagio de ‘ndoformal ensejara fecunda ldgiee suaclo- ‘atamtices operosos, glee situactonal que nem fst nem irvacional, mas que do pode ser Teco. © muito menos ectimulada ‘pela desotia forma: odes descorit folugtes ‘par protien Ser eorema’ eta ra air ao go) ems a mato Fo blstrla da matemética e a Yigiea do deseobrimento matic, ito &, a Togénese ¢ a ontoginese do pens io matemdtiee,* no se pedem desenvalver” 2am & @ rejeido dennitiva do formalism. 2 Mlesotia formalista da matemdties tem rises a ed as dogmatistas da matemitica. Por reals de dole tam havido alseussho entre dopmdtion v otis, dopmiticns sustentam que — gragas co poder do inte: 9 ou das sentides, ou de ambos — podemos aleangar dade e saber que a alcangames. Os cétios, por oulzo fo, aflrmam que no podemos atinglr a verdade de of ema se neice cunt Ge RRS an rl eens cxerghc mele trit See a Seat ei Sk. Ue eos cn (ps Se Bes ES OSes essence ge i be ES so dice pelle aienareen, Mn is be Scent nm ena Pee Enc) ent etc Ss rade dade Sacks Da tp ts Bo spre mode ay grin may el a natn "ci tars rue y tote ual pga nia n't poh pe pea Spe a ee Sa Slat TS Poneg ¢ 6 Pv pofen spar ie Moris fn Teme ues ales sale esi es phi Taney in, She se fn Saas Ps aul Soran eet a's Urs Es geo sip ae SLE fae ee ete a dace SS pind es (GTS Hall ales dba Sy Sate Seer cml og ries ST ‘tn poesia" Rtcr dat foroprindr Pee invenica), Pe an tno, ean stl nora re a Serer, fie 8 rrefutagbes, digi de “pater tere iio tical” eateries & Pc A Léces vo Dasconmauenro Marecrico sigumn (@ menos que mediante a oy gue Io podeaios aber ce asanseres igo 0 ogmiatiamo, Sempre que o'dezcate re By Sine doe cas (2 toe dos, 8 malematica tem I 1. Um Problema e uma Conjectura ogo dso numa gala de aula imaginéria, A tama interesssda ‘nim PRODLEWA: havera uma reaglo 9 nama de vers V, 9 numero de tetas 4 Sarimero de faces P dos polladros — sobretado roe Tepulares —— andloga. & regio elie] entre mero do vrtios ¢ estan de Poigonos, isto & havera ‘arestas quanto vertices: Y= A? Sta lime re ‘permits eaaatear as potigonos de acordo. com Tero de areca (ou vertioe): tangulos, relangulos, igones ele. Reloplo andloga perma classiicat Tpartcpantes do dlogo, depols de muita tenta © cho. ctpervan Que pare todos ce pledros regula Va orek Algulm aventura 0 palpte Ge que BES prim, cls ome 8 instamatemdtica € parse "tn eeadio Bo mcr ng oe BOE pling, rd ur ie Soe conceal "Por oie as,P= nemesis v= ‘Uma Prova a feiss | RAPES: at at, cues tnt Bee Ge anata athe emia Srey teat Pomierh ¢ arin © Rap go dk pet Fete ls et ns ens JerComo, yorém, a verdade deletions patente “do pode haver divida de que-ea vale guer wid, Asim, 8 proposgGo md parece sate ete demonstada"* Marae" senhor tem una : recent ‘erie, tenho. uma. Consite da sguinte runelso pasos aginemos qu poles see ma superficie ita de boracha fits. Se temo. sh fase panes ent uparie s Fao quadro-negr, smn regia, Ax fact © areal eformatan, ar’ aesien perio cer curva, tas Sido te ullzarto, de mito quo so, ¢ apenha 30 ip Share o'paiso organ, 7d recat plana lesa" uo_removemos 'A'Figura 1 morse 0 deseo plano para 0 cso abe” Segundo pasro: agar, clangulamas ‘nosso so atgoai:Gealiimente euinas negee fagonels (petvelmente curvineas) naque- rs. (pousvemente curios) que endo sto to (pomveiente.curiines). Ao darenhatmoa Siisgondi, aumentamos tanto a como F de um, de gue o total Ya Fondo ce aherace (ip. 2) 2 Uma Prova Fiaien; lm nos dims aula, chegsmos a uma cone lide, nt gue pata Bollearos V— fa Bem ext que Pog aye ites, o mimeo de" aretas 0 Fo ntntnen t Pusmo‘a prove por dive shen a a sumption desert uns aa Capad ce de var at poe eae at i ene i seh si Uae a, 8 Bp Se poy a Fer ae sro passe: do desonho triangulado, retiramos agora fdngulos uma um. Pare remover tum (ifngulo nds “Temovedos uma aresta— com © que Uma lace 0d an aresta desaparecem (Pig. $(c)), ou removemos duas estas ¢ um Vértice — com © que wna Taco, duas wrestas fem vértie desaparcoem (Fig. 3(6)). Desse modo, se Ga P — antes deo triangulo ser removido, aden as" depois que © teiingulo for Femovido, No. find! oe al trang Pélya parou ‘masse punto, e. a ve Matas ari a as ase Fs Bain Giese, 200 6 p38. Mase tad pom (58 Baie pete Gas Sok2 ‘A Léa 00 Descour Mureinco Una Prova a gen tena mney | Seite mule Ma, rr ot i Roweas Nes conectu, © 4 + F = 1. Besse modo} me ELTA Agorn 0 Sethor pode chars SES AEE ae et a Soa i a or mim dado pode, corretamente, se” conside. um tanto engansdor. Sou de parecer que fla nto Bbeleee a verdae da conjectura, Dats: "Ent, para que serve eit? A seu ver, que é que rove matemética prora? on: Tratavse de uma questio autil que tentarel | a mentat — ou *semtemperiéncia" que suport i posioéo da coniectura original em sudeomechars emai, assim enentzandoa nim eatpo de conhecisents Sxperitncia pode {elisodro, tate eon Gualauer polledro? Per exes eee GRE ualguer paiedr, depart as telmente muito dstante. ‘Noses “prova"s por esere 3, enealxou a conjecture original — sabre eft games, sides na. tooria das Tolhas “2s: Sertich? Biocartes ‘ou uter, puis da conjectura trginel ne i em sonharei om lato ede ra a anna Pai ae ee Pare Ait i ant fish Ba 9p, ttc Mate fa ‘anda in ven oy ae ene ht dni Sgn once (pte, pp fiesah Soe ‘rae) at pms Ris Get) gue jalan wind )weiadeUe aeProva Conraw-Exinr.os Locus a 24 Loren bo Dasconnatesro MareuAnico 3. Critiea da Prova sedtante Contra-Ezemploe Loca, a ean Assim, 0 terosiro lema ¢ falso — e milo apenas ‘Maa no Globats odo cubo, mas para. todos os polledras, exceto as Panos Pa, ea oa ne ole a eS pee Oe ee, ee Sey Ps tae Se ee er ener Bef i Me cy os Bah contre-exemplo para a conjecture prinelpal, visio cube VPA Fe 2, Wook demons za do argumenio — a prove -- mas mio a tals [ede nosea conjectara. ‘Nese caso, o senor daspreza sus prove? ‘pe modo sigum. Critica no sigaliea neces. ente destrugto, Aperflgcarel minha prova, de p.a que ela suporie a critica De que moto? eeu mas Antes de mostrar de que modo, permitam-me ntroduza seyuinte. termologa.”"Chamazel de ezempio loa!” aquele que refuiar um lems. (em moite sefuter '® conjeetira principal), © sha- ri: es cco eetos mpn ies ser eee, ude ie ret ipel Ampla, de modo que @ nossa eritica tem mais s| $70" pelo mens ts oportunidader ‘para santas los em vex de apenas umal * fn 1 chloe tena eae no ay ee Tegra i ete te = ll Sc cee tiara Foss sre oan pas gas saa = ara & erste carn e+ ene cee ee 6 cy Beer “Srna ec ay Fa Sapte itis oe Sea cuenta Gieretes daaucies que a6 reprenentams A™® UO ae & getruturs triangular resultante da execugéo fear tus 4 moe um {rlingulo de dentro. dessa estrutura, ‘como ‘pode- ip aa Mes tetirer uma pega num jogo de quebre-ctt aN "un tag nie at Se, rece, arc i de “cote a aque gue rear 8 i conjecure pip Assn, seu cnkcexempo a nie gal Gm conttexenpio loa porn, pl erin da prov, mas nde de cnlectue Stn mda, & cnjchre pase et Sead, a's sn prove tl oure pan [ morascon: Mas os yasn,faclinenie, laborer, © metio- ov, sas ¢ me a for am rg He erento mda, que 0 snd comt-esepin nig Te Stara Nao mais laseto” que @ yeas ds queouer “nangtd Soy tm dos 208 parce menocadon, tas CCRT Wo AR Fee en ap Bue Tirn Beendt ed dy sade and fe Pipa: ae es Ged, Oy Pea : at tuornecets tne a gd25 A Loaes vo Descour Menouino sem cade fase da. operagto qualquer tridngulo limttrofe foe be i male 1 tft era Sy Sipe ay tt ge adel ie 2 earl tone ay shew 22S See seh ae re oe te Sesgtads FROME Bem, ex pote shar mine do que eu queria di nf icp na Bled nis demons a! Gunes lnloe nesta mo ade de ates = Se ce ca la est sping en, ee ge SkaTUD por na rein reno gaa en ulos tum @ um de modo & que nia se altere Vas Fan, Sie Eada const oe ns AP endont a ee Garg recaang he nai eum de ns qu fe at que atinjamos o itino tring, Ci eit SO HES eta erm cera, ae acasy cis existe?" Sus primeira experince meni age oat Prova © Cowraa-Exanrtoe Loca tirar os trngulos om qualquer orden. Sua ‘mental modifieada deu'a tntrugio: retirar ‘mitrofes em qualquer ordem, Agora o senhor Memos de segutr uma ordem delerminads, mas io als qual sje orden, Sem se elt "scusy fun expernela mental eal por tera, © se Thordu a andlise da prove, Isto & a lista de leas ‘experiencia mental que osenhor ehamou de “preva © tereero pacso desaparecen, Backs “Alem disso, 0 senhor ter molhorado o lema? As Huns primeias versdes simples pelo menos parecatn wente verdadelras antet de Tetwtadas; tas a versto Temendada, nem mesmo’ pareee piausivel. Os ‘credita realmente que ela revste A refstepio? jsson: Proposes. “plausivels” ov mesmo “tival- ‘verdadelres" em geral sho. prontamente refutadus EQplecturas complicadas, implaeivels, amadurecidas na pica, podem alingir a verdade 'E que acoutace mesmo que suas “eonjestures Gempllcedas” forem faseadas e entao o senor nao puder pslfuas por outtas nlo falzeadae? Ou enti, soo se. ‘do ‘conseguir melhorar mals 0 argument pot endo local? O stahor tove éxito no caso de un contr ek Oe SRE seat i pale on to nc ns2% A Lacs no Descommueszo Mareuinco Paova e Comm Exeuvos Goma » Ca Or essen ap celta oe oe aaeoe ne ae ce ae ‘pe te om seamncrnplgue tact su plea ester cane, ele eee ine ae ah te, lagen iy ey ele, ane Set ctu nob, ie nen eg mera oa Vt its spe orm Ee wate munaenn, en ZT MSY Mirage, anon 4. Gritica da Conjectura tediante Con “a Contra-esemptos ‘De acordo cam sua fasta, entéo — embora um axomplo losal” (se no gldlal to mesmo terpo) citi daprova, mas no” da conjecture — uh ivexemplo. giobal’¢ critica da conjeeture, mas no ente da prova. ©. senhor concorda eit rete ‘Guando a conjectura, man detende a prora, Mad 2 conjecra € fst, gue € neste mundo ‘que prove gua Sua analgla, com Colombo desnorona Aceitar p contreexzmplo pobal deve signifier rendicSo total Mas por que aceltar 0 eontra-exemplo? Provamas sa conjectira — la agora um teorema. Admito que fp choea com o ehamado "eontra-exemplo” Temos que GS destazer de um dos dols. as por que nce detazarmos "eoroma so ele fol eomprovado? ® a “eile Danids. @ false exile. Este par de cubes, in dentro Foutz, nlo é absolutamente unt pollero. tm monstro, e2i0 patolégleo, ¢ nig um eagtra-exemplo, Ar" Por que néo? Polisi ¢ um sido ova euper- ‘consste de faces potigoncis, mau eontrvexttpo ‘stldo.determinado por fasts Caamemas a fia delinigao de Def. 1.™ ‘Sus definigdo estd incoreta. Um poliedro deve ‘uma superficie: ele tem faces, rests, Vetoes, pode Weformado, estendido nim quadrenegro, e nada tem fentido’ de enapregar 3 nildo de empresas a alas “pena me “espeniinia mental que ieve & casemate Tefal sere ple pine ee 3p. ae ee ee hae pe te? Sa aa (ib Sak ae SSeS ena ee eeA Lécics v0 Descommenro Marrukneco PnovA w Conrms-Exenotos Grovass By Ye cam 0 coneito de “xsudo i que conse de wt she srorisson‘Chamne aso ce bef 9 Om fe ret Deal, olitros = duce Sette superficie. 8 vooés podem conforir que para ambos Pos, Contra-Exemploe 2a ¢ 2. ealmente nos mostroy ‘Causemeadmirasso. sua maginaeSo doentia, iste Goat nettons Ane Spits deme, cts it engi, dot, GEREMplo da “tese de que: ow senor yee a6 conte ppoligoncs geja um polledro. Por polledro entendo um = fr oa ace i Pa Fy rae ente dats palgonos te encontvem em ada Avesta. 2) soja posatel ir de dentro da qualguer poligono para Interior de qualquer outro poligono por ‘uma aque frusa qualquer sresta ‘sum vorlice. Os seus dois rag. gemeos scrfo.excluidos peo primelto elt ‘minha ‘definigdo, 0s segundos gemeos pelo segundo tio, Pa 28 rte eatcmpo pe som ecm pis ahs cm Ua ae ee a EES RS ae atte in aia nn Set esi ae) oe ea ite fs ya ae Prto pose sez faiseado por monsirs orisor: into interrompeios. Como, vimos, a refuta flo mediante eontreesemplee eepene d0 egniticado deo i meeps ete atin pr wes PORE Tae Het SEA Rise man corer Niagara soe Roar gees art eek Gris Sn at a oe re 2 as sms ma ee Se ESS Ss naira cea eno eee ee cece Ranch eee me is oe eee Scag hare sh Pees EeeProva # Cowra Exmertoe Gtomus 3 BA Leas vo Dexcounteero Marouinco Se r8exEMO ther 4 Fget a oA a, 6) pn ed cn SES $B, Gustia. 9 um contrrexemplo tier que a Sem Faas roe Se Sie inst cron eg Eel cade tt a : dos nostos terms ‘Peden cheget 4 fal acorast Becrst ‘So cise fect nem memno sabe © que vem a oe 2 tara once cere eves "he lum poligono! Poligono d um sistema de arcs diapeoey ‘fo etn “peligro” Pea 2 bua arsine tncndrom ete gia i racial ar femtiiae, tr cate Sere Gh a ara me, atande £28 Paleo de"ama fyi stage SoS poset « 2) aarti nd Siguns l6gicas chamam de conhecimento da ext ‘Pontos em comum, Dropestas Hoe Sito que agora a Fiat Faia Sted See depois 8 ea 8 rsultadar ug oP, ‘ dlerenias anes, poder Resmo detinigae’ mite deiro contrxepah aoa: “Inclusive Bef. Bp E#ortsoon: “Excettands: Def, P a o Polo esiciaGe"Tmah te Contre tempo 5: um fiery Sale [> fe mac GaN 8: um vet Mes Bee eae de 2 Doncagor 8 ig 8). * ie poe o0 ado cs foe, CE 8) Deters Bar conigt pads MAEDA ae thas cee 0 Soma fe pean etm poaeth® "8 PEE eo Seu “ourgoeannen ‘um polled io cuyar nes SES BAO rete? Tate de um pone ite Foss ins goat bebiegonar tical, Palle Hz & oss lima aetingge Som "astema de poligonae SRB e moto gue") tm eae de poligonas reson: Chamemos a isto de De. 4 Se ajo por ae cece agin cana AA detinigao eorreta de pilgeno deve conics senna Pe etre igual, Fornit Dy . a2 kwh turds nad tem aver om et. ‘eum ollgono, Veja bem: se eu Jrante' quale gece’ im ES, jae av Rene om 2s Poa, i o8 Gap Bc sya ea 2 sn ord com ieA Louies 90 Desconmaisnro Maretinco ono num plano — voce deve esticar os membros dele no oer SETA oot se tnporta em me der qual 6a area de tum pentégono estelado? Ou voet dlsia que alguns pole once do tm area? ‘toga: "Néo foi voce mesmo quem dise que um polledeo hada tem a Yer com ldela‘do soles Por que, egara Sige qu’ Ith do pligno deva esarlguda & ia ie rea? Concordamos m que 0 polledro wise supectcie ‘echada com arestas @ vertices’ — entlo pot que no fganeordar em que 0 poligono 6 simplesmente: urta curva fechada com vertices? Mas se. voce insste a tut idee, ‘estou disposto a definis'@ area do um poligana estlado, th plea ee Br. 0 By 17 ma ae ud ‘arala cpt Prova ® Conrma-Exnirtos Grows 3s maorssson: Deluemos esa discussfo por um momento, Ercontinumee como antes, Consideremas ae duas uitinas Aetinigées juntas —~ Def. de Def 4. Alguéss poderd dar fontra-exemplo. para a, nosia.‘conjeciuna, que satistega Samba us detiniges de polgonos? 4174: Teno um. Considereos uma esruturamagem Uae dae deinigen ats el peaian Res eas Stinoqur das Ee o oan, ‘ds descobrirto ao contar ee wives, sess fase die yn ag rao. Frerzason:” ontratimpio 4. sini: “sso significa que ¢ 0 fim de nossa conjecture 4 Featmenie una pent, porque ela satifania etanas ‘aso, Mas parece uo feldeties sons tempo, ‘pe: ‘Delt estou espanteda, Woot nfo ig hada? Yoed pt sea ee nee czar du i ba pensara que mio’ havia ‘tigume no Tlndo que Wood lo pudssw liver Ge fsramente cas erg Bs on nies mers eve ee srimnrene onoees 1971}, p 1T¥)r Surge —e laso pode certaaiente SRSrE Seok ame aces aes SUAS ee Gti in aa oe be saane itt aa oniranot 9 fnreczemple¢ takin oo elise de Lier heh idatoFaet ane 5 Sea amin cans, SIS Poet © cours guise Sh Signs (Hy Sa36 A Lécres v0 Desconsuanro Marco lum apropriado truque lngllstion, Rendee agora? Con- corde," ‘elmente, ein que nao existe’ poledses os seulerianas? # inetivell brit: Voot deve realmente achar um nome mals apro- priado para as suas. pragas ‘ndo-culerianag, € no mas ngana’ a todas chamando-oe de “poicires”, Mas este 808 pods, ‘perdendo intereso em aous monatron Seat esgestando de seus lamentavets“poiedros" para es quis © belo teorems de Euler nio se aplca,* Eu prosuce fondem e hatmonis na matemdticn, mas voc8 apenas pre, Bigaanarqula e cans.™ Noss. ‘fituass sie iveccase Ee ‘ABTA: 'O que voed 6, 6 um térl fora de modal Voot culpa 5 mldigéo’dos anaryulstas por prejudicar sue “order & ‘narmonia", e“resclve” as" difeuidades, mediante toc, Froresaon: “Ougamnos a mals recente definigio salvadora, ura O senor quer dizer o mais recente ugue lng fico, a mals recente redugao do eoncete. de Spollek ay Dela ‘aisolve.problomas reais em ves de soluciond os pra: Bu nb reduce coneeites. Vote € que on amolia, Por exemiplo, ess estutureimagem no & Absolutaments ‘um polledre’auténticn, kira Por qu ‘euza: “Tome um pento erbiteésio no “tine!” — espago Gélerminado pela fstrutura. Extenda” um plano stants fesse. ponto, Voce werd que qualquer ‘plate doses tee, Sn dents core ra 0 time ba ‘estraturaimagem dois paligonor distints, complete, ‘Bente dugados un do out! (10) Prova x Covrea-Exmurtos Grossss ” muita: No owo de um golicro cuténtico, através de {unique ponto eratrrto No espace hove, pio nen Sm dno ajo cite tates She sud ete 44 Ge um nico poigono No case dos Sale Cone 30h, todo os ‘panes stisarto ert gts oase aet aus fememos'0 "panto, No ead dos fleeces {maa alguns panos tro tals ieee mas eats ited fin ue tontatnpenns ae (dae en) 6°05), 6 cso deat estate imagen we (Saat > Donte no tne, tor or plance forbo'da cma? ‘eta Como," endo, ode pote Chaat 19a poledro?2 A Loic wo Descomnaro HISTESRE: EMA pee outs desde, seta vr deta $0 implicita, Chamemola de Def. oe nine UE iti de calreretpts, una sto de gett ES cttantes "ani gud a ‘nn © def Sea, te ae apenas renee coer SLIME Se ant ces ee tes aera ula quan comida lates Ser nas wr any ay Spears, Here eat aa teaa 2 Cura perme mre uma uaverteu numa conrendae Aespreavel (Deiza otis ale oat POS,mprender come ue jorem comps, spares yt ode eatin ac en Some aba for. ropista. Ble parece gave Ae con restates Mat 6° nena Sae" o saat,R&m 20 mind nara nen nena otenaag 88 Sempre ee npc eee fase Os Imutantes de “monstiee contracenemploe de Alfa, experangosog > 3X Delinints § to iscaimago) ee ; Seca eat et ae ntti EGR ee est an BSS 4 ae seed Prova © Cones Bxexetos Goss » BELA: Sele como for, Aa abandonou a Ita, fo tere ‘os toasts ager cia: Bt ee um novo mona, Ble steer a tone fs toads nas et 93, Te mae yah oa Bue (Cont szempio 3 4 on ‘utiles eaindy “pb, eh EBs fot (0 Top 0 nda’ e oo) ae Ee tule) ¢ enn vers & impose, us deine: (i) eratamente das seg ae co SIE (2) bona ee denen gros Om cada EuLERE at faces como poliganoeautenticon, vine a? Gem ab suds exigénclas!() enatamenia aod sat Eteomtramse em can verti @°@) aa seas ets ualaquer ponioe em comum, exo, a2 SUAS Buzzy, ila eticava conceltos, as yok a Seesay guns warts no, so aretas! Um. areste tere dan eer ts Paorasion! Defi et ants: MAS DOr Ue near slats de vareta” a araag Sam tam ou positelmente: nenhum ‘vertoet yor ests Fen SuuTME concn, at agora vost Oe mii onto que quase nada saint dass Bs YO BED peter a futlidade dasses chama- nreneiuit0Ses? “Até agora, quando um nove tates ee ieytado, era para ‘lguth tim pratce ake? et Brentndos expressamente para dscebey’ 22%, St an ue ao, Nano susie tos in ‘must de hhortoras onde um hharmal comm pode Tica teks fe Ihes‘destinarent um cantinho. Gone Pa Soba” nea gear ‘eipto far Chas! ima Scat ae UC, 29), 0 aa ec, ne soar or eee 2a = ‘oe mcm fete “hds gee te te ee Sw Apt eon ca == ses hk haa ca Stray pr49 A Lésien po Descosnaeeso Marecica nen: Acho que, se quits aprender alguma coisa aimente a funds, fomos que extuda-la nfo em sus forma noting, regulay ‘usvaly, mise em estado erftico, na fone, tua palséo. de qucerem conhecer corpo sadhvel, normal, fshidem'no quindo anormal, quando ester doento, Se gqussem, cer a unos, Eten’ sus, guar lex ‘Se. quiverem canheoor os" palledros comuns, estudem ‘Seu, aspetto toueo. assim € que se pode Tear & andl fsteméilce cid 0 dmago da questsa,™ Mas, mesmo que Tasleamente vos! tvesse rando, nfo peresbe a fuilidade fo ent método ad hoo? Se voed quiesr tragar-uina linha lle ere contrweempion emonsios, Yok mio pode forasoon' Acho" que devemos recusar a estratégla de alta para iratamento dor contrwexemples global, em bora devamas congratulates eom ele por sus hAbll exe feueuo. Poderiamos, cam propria, otaler set tee todo de método do antimonstro. Emptegandeo, podemos fliminar qualque’ eontra-evemplo para a eanjesiurs origi ‘nal por, As. veues, hdbeis redefiaigbes do polled, mas Sempre ad hoe, de seus termos defindores, ou dos terns efinidores de” seus termes definigares. Dever, pote, atte ce contraexemplos com mais tespeltor 6 ngs exorelsrios obstinadamente, sleunhandoos de inostros © principat ‘engano de Delia. talver eeu preconcets Adogindtico na interprelagaa de. provamatemdtice’ ee ‘cha que uma prova neceesrlamente comprova 0. que Se quer provar. Minha interpretagao da prova, permits gue stje “provada” uma falsa conjecture, isto 6 que se] decomposta em subconjecturas. Se a conjectura for false, fapero eertamente que pelo menos uns des subeonjecturad Sela folen, Mas a ‘decompesieto. pode ser ainda interes: ante! "Nfo me perturb ce encontrar um contraexetplo Dera uma conjecture "provada' estou” até mesmo. dis. posto i provat™ uma false conjectural St allen oom o guia exlanive do profes, srt weenicio ‘OSnabe'd pe dee nt tte Sot th STM (G, Bo Halstl, Trad. sutoanda, pp." 5-0). Paleate dente 6 Bo ee tae anne Saraga tO St Poets reais — Sh ppratine do Beni (O85) San Paovh ® Contes Exeerios Gross a ‘mera: No scompanho roe. ara: Ble cogue precaente o Novo Testamento: "Jule Vodas as solsts; etende o que e bom” (I Tessalon- enses, 0:21) (©) Aperieigoamento, da, conjecture pelos, métodoe de antiexeegdo. Bzclusdes por partes’ Retirada estraté- pica on ago cxutetee tara: Suponho, profesor, que o senhor val explictr as ‘tas enigmations Sbgervacbes eas, pedindo deseulpas pot nina fimpaciénea, devo fazer um desabato ‘orm’ a, (Gife vette a sala‘de aulay ata “cho. tolos alguns aspectos dos srgumentos de Delta, mas chego a erer que ha um nucleo sensato noes Parecesme, ‘gora, que nenhuma conjetura € valida de ‘um modo gerel, mas véllda apenas em certo dominio res- frito que ret as.exeeedes. Sou contra apelddlas de ‘monstros™ ou “casos patologcos™. Tsto equivaleria & de- lato metodolglea de ‘no considerar essus intoressantes ‘xempios no devido Tught, dignos de um etudo especial ‘Mar também sou contra 0 terme “contreexemplo”? 6 a ‘se admitilos como exemplos em igualdade de condigoes fgom op exemplos de apoio, ms de certo modo ce pi: fam com cores sombris,” de modo que, como Came, tntra-se em piinico a0 enffentivio, e se tentade a desl: ‘ir de todas’as provas belas © bidocas. Néo. les 280 apenas exeeedee. Stona “Eu tembém sou dessa opinifo. 0 termo “contra- “Seemplo” tem certo qué agreesive © ofene = quem saren our as provan "Btceedo™ & p termo corteto, "HA tes ‘explcles de propongbea matamstica 1. Aguelas que sio sempre verdadelras © as quais ‘lo hd restrigbes nem exeogden. Por exemplo, a soma das AAngulos de todos os triingulos planos é sempre igual a ols dngules etas 2. Aquelas que repousam em algum principio falso, eportanto nfo podem ser admitides de mado algun. ‘3 Aquelas que, embora item em tomo de princl- los verdedetos,adritem restagdes ou excegoes ein certos renew: Quer el]2A Lec bo Desconsasexro Mareciico Higa: Mo so deve contundis tale teoremas, com feoremas sijeltos ‘a carta restigio”* Din @ gah 4 excepao confirma & regra ‘fesuon ‘lrigindo-se 8 ehea): Quem & esse maluco? Ble devis aprender um poueo de. logos, tara (a fearon): E robe triangles planos nio-euelh BREA? Acho emberagoso ter que prever que nesta dis. Gusto Alfa o cu deveremos provavelinente esiee Se teats foes, sto que até mesmo autores moderbes nesses reagonecem essas excegdes expictamente. © Hav Sais eo era um exercilo folado de diplomacia, “Resta manuals de geometria e em conte Bale que o belo teorema de Auer Yee ‘sujelto a ‘estriedoy em alguns cast, Prove © Cones Exasetos Gonas “ io’ nfo te aprende a vert ratio dese excep» (rn exminel as Yexeeoes" multe eaiaieeneny eee i & soncluso de que elas néo sasfasem Fon naen lego das eniades em quest. De modo que eee ‘cabhicn cock ‘tits: A catica pealeto de Sigma Jods earls como expt ago para a sua ‘tie antinsoncti, mss TE secusa, quanto mts uma fustfeatina Far mae Uae Bar gaat feelando" ae ereenany Go Cnn e-teelttndo 0 "teoroma’ 4 sgeenes Era!" For que devo reetar'a prove? Nada vejo de emrado els. Ves v6? dha posigéo antimonsaa parte ne eae aslonal do'que su ras ae oe oH & Beta e Sigma, Fol Bets {Suen Patiou ae excesdes com nome de ection Sigma concordou com Beta 2as, em sun malora, oslo Verdadinas se salen Siedler Delermitando esas contigs gs msianke ee ‘rando 1 mio iia dns gu ep £9, fe gom que desaparera toda @ incarion ss Sa Sooo Tete perioral act: sien Aan coenaténla pactoa entre formas nab ooveernse 2) pO), Matthias ae! tea Sect dated Ea Matas, fo el 2 a Gromer. inten weiene nat Leeder ie En, Sime enca mae gre © Me Btimote db monaco Ter, aoe aa” Dente So Canty 2 Seine 80),fa Prov # CovmsExeurios Giosus s AA Léaten vo Discomnierro Maracas greater Youd dove samitr que cada nova versto da conjestura @ apenas uma eliminagio ad hoe ae ue Beputeecxemplo que acabou de surgi. Quando Aone: oe bos eneabxados, vood exclu polledros cam eusiseosa ae 6 de, yout observar uma estruturenagese ood polidros com tines, “Aprecio sua. miehie aberte notar essas excacbos & nl Secure oa et, oa media em stone como trague ingle paca salar “elon” Gaeta ‘elante concelts reatritivan sas dae ftsppes oot toto de Delta devem ser mantis sepaseate esse ‘ Bella ew stot, que € caracichante ae ee dest sigs apn ‘mo “mabe Mean eS teptertio para Weteainar rgoesasente ona ot ae scant de Buse pa Monson” Que Yen a set “dosh rigoceumente de tesmipado” dot poleror surance’ que Sea snes Que é' sua “timula pecfelte'? isa ‘Para loot on polstos que no tem eioidads {Coma 0 por de cubis ehcaendo) etn (ams et fara imagem, oa ey Front’ Yon crate Sie Sim, eno see Proton.” Gi dir do tetraedos gos? atta Descalpe Para lotr on alba geo tem cao ates, Siete “etree mace ype fe, Paoreaor Peete, Concods ob cal pekde ot afer Rohan ood eeeblandie canes sbesendla Prev bo mies antes tao die Meo sestanin,fenno cae objets Fees ae, Ses Pent treo i a nad a {pina apeteon mat oan petals eamatate Me a flss goroniete. comet gue tee aes foaae eect me bee B bets: "0 senhor pode mencionar uma que eu néo tena le a ee S074: Quo 6 que vosd atx do meu ourigocacheiro? janea: Eo meu eliinaro? Pronisson: No preciso nem mesmo de nova “excesdo" eae ps SPs epee ais coe Scere So eats apes, ae ee cc aoa ert ln oe tae Since SEC aes Se ite te ae San Si, ane Plate 2 Lan tadt Sl it parce iin exica © Indetiviems ‘mt ¢partrmado da sada cay ou gl Abel etre cups ita scissileue ada de conjectural quanto a isto: trata-e de am orem Santa: “Eo meu elindro? le 6 convexo! bern! uma pladal aorsason: "Eoquecamos 9 ellindro por um momento. Fodemes fare alguma eetca mesmo atmo end, Nes ‘ova verso molfcada do métato de exthuso de xara, ue Beta vislumbrou ido agiimente em resposta & tian Gritica, @ fetirada ima sume fol subtitles, por ume se sale pre dann gies omy {ger pera a conjectura Voeb eat agindo com Pr Sas Gstard tho a salvo quanto pena? ‘Voce kinda do fem garantie de que no haverd oneopen interior do Sia frteleen, Alem do male, ete © perige Opes, Veod ‘lo teria excluldo demasiado radicalmente; dteando nat ‘merosos polledros euleriance fora dos muroe? Nossa, can. tara original podia tar ado tim exager, mas son tose “aperfeigaa” pareceme muito mals tina subestimaive 29 entanto, vost no pode estar seguro de que tab ‘Mo sela um exagero. Mas gotaria de expor também minha. segunda obfe- #01 ose argumento execs prova to super 0 dacs o valde 8 conjecture, parece que vote nao precisa de ova alguma Sem duvid, vob nib aerodita que as proves Sejam redundantes? sea Nunes dis iso, 1 Silat antroy Ye! het pest, pun une ssi ame au Ene daar ae pe eM ‘Westie eras See clea er A thf Prown © Covrms Eseries Gomes a Yuorzssan: Corto, oot nfo disse. Mas voo! descobe que ‘oss prove no’ confirmava nosis conjeciura, orgies Gontmard ‘a sonjetire spectelgaia? Respond he az Muito” cbrigado, professor, por ease argumento. Q embarago de Beta ‘mostra elatemnente's supine lo ditsmado método ‘antimonstro, Porque demos sce 8 prova confirma 0 que pretendemos prover norea Sot poste § eguivoca, Nio permitimos que contta-exempios pettinentes “destruam espeltaves ‘proves i waneoge ‘mesnio que estejam disfacados como himlides "exseyie io ‘acho de modo algum”embaragoso, ter que flaborar, melhorar e "0 sanhor hé de me desculpar’ tomar erfeta minha metedalopla sob estimite, da critica, nha vesposta ¢ este. Ree a confectura orgs hal como false porque hi excagded ela, Rejetto, tabs 4 ‘Prova porque as mesmas exaeydes so excerdes pela ‘menos, pera um dos lemas. (fm sua terminologln ‘ste fiuvaletia: um contreexeriplo global 6 necesartaments também um contra-exemplo local) Alfa se doteria. neste! Ponto, visto que a refutagio parece satisfaser complete; Rents suas necessidades intelstuais, Mas tu proscge: So restringi adequadamente tanta & conjestira ebma a orors 0 dominio préprio, eu torao pertelta eonjectund aus ‘agora ‘era verdadeire, e torno’ perieta: a prow tastes ‘mente sadia ‘que again serd rigorova e obViomente nis ie conerd Fast. Vines por cxampl gue ein fodas os poiodros podem ser estendidos num plas dege ese Ines retirar una fece. Mas todos os pallets coker 308 0 podem, Com rasio, poiso chamar dé leorem ol ‘nhs conjectura aperfeigoade « tigortsemente comproray, ‘Reatirmo: “Today ov poledros convesos ado eateries SEs pierre ea mis Rema hey ee Bo Eaasweeaa ore Baledron pera mas, pt segsramatn, & pledroconrexor( (3408), "Vp. rove eat io prorat "Par'om indo ben wie aa48 A Lécics v0 Descommuanro Maresknco Para os polledros convenos, todos os lemas serio manttes- famente vendadelne e a prove, Que ido era rigorose em Sur Tela generaicade, seh rigorose pera o. dominio res {ito de pollegres convexos. Deste modo, professor, respond A'sua questo aorssoon: ito os Temas, que parectam manifestamen- fe verdadettas antes do. sparecimento da exceelo, pare- tendo de novo manifestamente.verdadeios... até’ 9 des- obrimento da préadme exeoqio Vooe adm que "todos e poiedres sio eulerlanos” era ume suposielo;vosd acaba fe acmitir que "todos os polledos sem cuvidades e tnels ‘io eulelanos” em também suposielo) por que nio adm fir que "todos ef poliedras convexos so edlerianos” 6 als uma. guposgio?! hora: "Agora nto se trata do “supostgéo", mas de nie Eimbret Ynortasor: Néo me agrada o seu pretencioso “vislum- bre", Respeita @ auposigio contcents, porque ela. decorre fos melhores qualidades umanas: coragem © modestia, Sra! "BU propus um teorema: “Todos os poliedos con ‘Toros so elietlanoa.” O senhor oferece apenas Um serio {Contra ele! Nao pode apreventar” um contea-excmplo? ‘areseon! Vood ‘no pode saber" se tenho um contra- rormplo, Voot melnorou a conjecture orginal, mas no Pet Eek SES iid pe tet pon, ‘maser Sarg 4 a ae Sri te alae ay ee ae et Prova 2 Contes Bxmurtos Gtowss » ode alegar que a tomou perféita e que sting prteito gor em sus prov. aera 0 senhor pode? Prorseor: Nem eu posso, Mas acho que meu método Ee meorar conjectures rd um aperfeljoamento do set porque esabelecere\ tama unidede, uma Yerdadeirs inte Faguo entre provas e eantra-exemplos seta: “Estou pronto a aprender, (6) 0 métado de ejuste do monstro 0: Profesor, 0 senhor me permitria umas palavras ex Spatte? Proreston: Perfeltamente Fo eo em que dean eis o ntinnso de Delta como enfoque metodologio, gral, porque ele Tea mente ‘io toma ce "monsttos” a stro, Beta tamibem no oma suas “excogées"” sero, porque simplesmente 68 fivola e retiree para um dominio seguro. Assim, ambos feces nalodos estdo intereeeades apenas mum campo mle fedo © privlegiad, afew mélode nfo pratiea discrimi: hhagdo, Posto mostrar qu, "num exame fuals aparado, as fncepéee rim a tomarse apenas aparentes © que o teore nade Euler continua valldo. mesmo para as pretensas ale {orzason: De foto? sn ‘ita: Como pode mou contra-exemplo 8, o “ourlgoeeet fer tig 6), ser un poliedro euleriano comum? le tem 12 thoes pehtegonals etreladas, no: Bu Ao vejo spentagonos sirelados”, Voeé no per- ebe Gue, ne tealidade eonereta, esse poledro tem thes Frangulares normals? Ha 60. dels ele tem também $0, ‘resis $9 vertles, Sua “earactritica eulerlana” 6 2,7 ‘Gs. spentdgonos ectzeladoe" 12, suas 30 "arestas” e 12 ‘Svectles, produzindo s "caracteristica” —6, sf0 apenas50 A Léaics Bo Descommuenro Manmeinco Prove » Coxraa-Bxmnr.os Geomass st o:, Delta fou impressionado com as slicinagSes que Yoo! engendrou. He. concordoa que o seu “ourlgeeachel ro" tem 12 faces, 50 areca e 12 vértices ¢ que no. “euler. A tase dele € de que nem mesmo So tate de ‘um polledio. Mes orrou numme coisa © outra, © seu “ourigo: cachelro” 2 um polledro e ¢ euleriano. is sua interpre: {ago poledral estelada ore equivocada, Se vos! nid so Imports, nio é & impresiio de tm ouigo numa mente ura ¢’saudével, mes sua Imprendo. destoreda numa, ‘ente-enferma, contorcendese de or. ara: ‘Mas como € que vecd pode. distinguir mentes sadias de mentes enfermas, interpretagtes fecionas de Interpretagdes_monstruosas? or 'O que me Intige € como voob pode confundir uma om outta! ‘stoma: Ho, voce realmente pensa que Alfa nunce cbser- You gue seu "ourgo™ podia ser Interpretado como um polledio triangular? # Glaxo, que Podia. May wn exame fais apurado rerela que “elses teldngulos sempre ge frupam em cinco no mesmo plano e Todelam tnt penta fono regular ceultando-se como seu nicleo por éetris de um ngulo solide. Gra, of. cinco regulares Juntamente com set) niléo venta —"o ponte fgono regular — constituem o que ee chama ‘pentagrama? ‘tue, de-acordo com Teotrasto Paracel, era’ signa da ones us fantasia ho exstem mmonstros, mas apenas inter Biases monstrous, Temoy que eipurgar pene ee fee de ustes enganadorany tones dus Secs Sei MRHPl coretamente‘o a ven. Ma neato tree ZMH emai reomheset eee CaN iene altta ot wo none Aura? Profan, por favor, ealigee se dtodo, antes Bae Ro nos faga’ dima lavagem exfebea) = tO’, ante Fronsaon Delma presget eno. e pnts de a; Woot peri ‘ampli sts cxtica so mélado de Dati? vooés dois erorlaaram Smonsengs, 2 ™AOH0 Beppe alg inmate i pasa or algun date ena care ye, modo ens Te Mae a sop aa ty ihe fetta}, 1¥. 18.4; tambten “Seite Emptioo” (6100), ‘in “Dor io’ ah ‘natty acre Yopelacions el te guage el ‘owt a ey (erate) a iporeans do ous 1k ae, de Ho era -a" do beracmtantre teamed No neacis Simtel nari ee ae Soe qlee mista ta Saee tn tes magia Cana lead SLE en om, tage52 A L630 Descomnaenro Maressnco 20: Superstiao Seas E, assim para a mente 46, 0 segedo do our strmageil: te, um ‘ange novo, Sarge Sa ue Gul sides igus, 3 0 segedos di hak? Bea MGS, certmente, ume dels 6 a interpretapio verdadeira! aa HitinceO™ dlvesto 8 admits andes as inerpretagts feusente, mas i dels ter creat rps Hi bal pie cnjcture de Bute Pee ease Poms a inlecretaeta. que & oem Sjeeade it BisSoneeidas de Ro? A ropdsito, mesg te Sis os val explear o Seu mea (© Aperfetcoamento da conjeotura pelo método da ine sempordoo do lema. Teorema geride da sony Can confectira tngeua amr, rele ma face depolstente pla niflcsta no quadronefre. Voce ndg's soll a io, iret que aqua thee, fhe eas ee, Cee ma mo que, um polledro Renae tine fase fea “TI de ne one do pnt de ite ap, Prova 1 Conran -Exenoos Grosass a Zroressot: Bom. Agora, diferentemente de Delta, aceto A$, fetta imagem como uma erie ta ey ortanto, consiero a conjectura original como fale ean fagome dela, mas ‘imedistamente exposie’ oe, ‘srt, moditicada, como segue! a cohjectars Besse FT ARS Pata polledros “simples ito 6, para aqueies $e, gpee retirada ume’ face, podem ser Party faust {iti 0 plato dub 0 método do antiescegio retrn {Es oto, etnino da conjecturapincyal a 4s condenado a'un dominio cama ae ey Spee setae one Si Sone seujestare principal ea prova mea méloee ae eee gga Mit ela a pra ren’ ci aficetura’prinelpal ao proprio dominio do" Isom aot ado Ou, eiquant un confessing gues ft See, mio local ex cam que. 0 snilnseago se fel ‘ture originl, mas ndo os lemas:Voets comptencersooy fora: Sin acho que sim, Para mostrar qua sommes Se set opie Yaortesom’” Mew método ou a minha eanjecturaapertel ona? ‘Aura: Sua conjecture apertegoada,A Liscca vo Dascomiro Manansnco iguraon Zoe az gue toot ands no ta compe ‘kira; "Consideremos um eubo com” um cabo menot em ‘me. dele (ig. 12). Isto sats todas ne noses. def ees — Def. 1, 2, 3. 4 47,5 — ortanto, 6 um poliero aiténtico, # € "shmptes” no sentido de que pode {sr planifad, Assim, de. acordo’ com a sua canjectura ‘modificads, sus caractristicn Buler deve ser 2. Tedavia, tle tem 16 vérlices, 24 arestas @ 11 faces e tua enracterls: {lee eulerians €.10'— 24 4. 11 = $, Bum contra-exemplo global para a sus conjecturn aperfeigoada e, a propio, ambémn para o primelro teorema “antiexsegéo” de Beta, Esso polisdre, 2 daspeito de ndo ter cavidades, tinels ou "estrutura miltipla”, nfo € euleriane. prara: Chememes a esso cubo empenachado de Contra- exemplo 6." ‘orssson: Veo falseou minha conjectura aperfelgoada, ‘mas nio destrutu meu método de apereleoamento, Meexa Ininare prove, e veremay por que ela fracasioa quanto fo seu. polledro” Deve havef outro tema Talo na prova era: Naturalmente que hd. Sempre suspeltel do sogun fo lem, Ele presrupse que no procesio ée triangulaio, flecenhaside una nova aresta Gagan, o senor sempre So rrp 6 shard gor Lani (ait), Stra Mas. qotee situate ator depos’ Poise no Tinka ovido ena Machen “(I00}) 6 Lee eerie sate emcee Dae oe Casta Ta eh ema 2: Sims Tage es See There pee oe ee Shel hay dete ets Sel a eee i gree tate eens Pnova ® Conras-Exssir.0s Gio 8 aumenta de um o mimero de arvstes @ de faces, Iso ‘huchado, eneontraremos ma face eleundade (ig. 13 0h 2 also, Se olharmos a rede plana do nosso paledro expe. fo de faces (fig. 13 0): presanmce de um aumento de ‘Nase caso, nenfuma aresta diagonal aumentard o Dime dluas arestag para aumentar o numero de faces para mals tum (ig. 18 () | oO a a a 7 ‘orssson: Meus parabins. Som dvda, devo restringir Sinds mais iowa Conjectura. faera? Selo que o fenhor val fazer, O senhor dd que oliedros simples com feces teiangulares so eulerianos" ‘Admitirh& trangulegdo sem ciscussio; vollark a. tr O'lems de now como condi, Paorasoor:Nuo, voob estd enganada, Antas do obsorvar fo seu equlvoro ‘coneretamente, permita-me ampliar meu ‘comentirlo sobre 0-seu método fntlessoeao, Quando voet festringe sua conjectura a um dominio “sugure", vooe fio. elamina a prove adequedamente, o, do fato, 140 precisa faablo pare ce seus objetiras” A’ declaragio de ‘fue mo eeu Gominio sestrito togoe og may aarto veeda ‘Tiros, sem quals forem, basta para os seus fins ac ‘nio basta para oe meus, #4 elaboro o mesmissimo Tema {que fol retutado peo contra-exemplo dentro da conjectare, modo que tenho de depurilo ¢ formult-o 0 mals rigo- Fasten pire, con bse on Sida‘ Drova, Desse modo, os lemas refutados serio in Eile eonjectura melhornda, © seu método noo obr- fas fazer uma eanerada eldborado da pro%a, visto que Evprora nfo aparece em sin conjeetra, melhorada, tal ome epareco na minha. Agora Volto & sua presente sige io. 0 lema que fol falseado pela face clreundante no fem — como parece que roo! pensa — que "todas" at aces s00 trianpulares", mas que "guaiguey foce cortada Dor uma asta diagonél adgure a forma de duas pecas™cterecer um segundo. aperflgeamn 3 original: “Para um polecso eine, ‘a ‘oes simpesmente gears ‘ara o seu equivoco stave. no ach aidboda Bee" sendo eatranhas & idéia de provn, Bdores de excegees olhatao raphdarene fandlise da prova e, nesta base, io Goan 8 seu método &, quanta ‘método debater ek. sutil de drea:profbide ‘be tatoe a sto, um caso lmitador a> me yehgiBe, & Wnldade lattice fundamental de rove ¢ refutegtes ZPERER: EpeTO que agora vous vocés percenam que 5 provas, mult embora possi na’ compere ut mente ajudam a melhorar nossa. co Indepeniiente de" comprover, News Provando, Bisa undade inttnsces fobrimenio" ea sobre su disposi de “compron tonjectura ara (parte): Mas por que chamar de “prov de toto 6 uma *dexproca”? anjectura, Bless comprovam otf refutem Alea as ‘als, slo especialmente incapazee de melhores eit? as lla refuteedo, quando. acontece de seem a siay SEE EMeT Me «Tse pace ee eis a oats aj tg) Prov u Cowra Exmrtoe Gross nctura. Os barra res de excess tehoraramnn illo, as mohenr me método melhora com- are "lpn doe fs da Jie @ peo ms Important do método os itrpreite do ee seta; naturalmente compresedo agora sas cnlgmati as obeervagdes anteriores sobre nig oe ornsae nae conjecture fr ao mesmo tempo "eomprovada’ ¢ euteis nclae ae faseS8 A Lote vo Descoansarsro Marasknico do lama! Wade hé de heursticamente impréprio nese roseio que combina barragem de excunia proshinaeoe ucesiva anise de prova © ineocporaglo de mame Pie 14 Tos ves da fun snundann: (9) Joa, (6) Ma Tis, 6 ae lad Bra: f claro que esse proceso nfo abole a erftea; le gpenas a impels pare o pano de fundo’ ext ves Ge cot fise dirtamente um exer, aes reat un Suber HHorrsooq: Hstou encantado, Beta, de o ter peesuadide. Roe Data, que’ que voots’dzem diss? 40: Quanto & mim, acho, evientemente, quo 0 caso das "Tecescreuindantes" & um falso problema’ Become ae uss onstruosa interpretagdo do. que consitoan as tan 6 areatas dessa soidagem de tols cubes em un “= que's Senhor ehamou de “ino empenachade” meron Bele oe 430: "0 “cubo empenachsdo” § um polladro que consste ae dols eubor soldadas um 20 outro’ De teala? aorissoa: “Digamos. que si 2 OM 9 seer nferpeot mal “cage” tek ager” Gonsste do areas ligando" oe vértices de e8do interior do cubo.pequenn ns vtescoresfan” lentes do quudrado super! do cabo grande’ Asin apy 2, shoolutamenta, "face ereundanter™ eta: “A face cicundano eat lt As aresan separadaras Ae que voee fala & que nao exisezl SE iad cuentoets «mesmo exposts 90 cksiso de Rave ste Cag ps wet empalte le Prova © Cons Exanr.0s Giosas » 0: 0, que las eatdo & ocultas aos seus ols deste Sena Woot t oa sii Bera.” Voet espera que tomemos seu argumento a sério? © que velo & aupenstigéo, mas ea svar Sresas “cult Serdo realidad? ‘or Olne para este existal de sal. Vooé diria que isto 2 um cubor Sara! ‘Certamente. or Um cube tem 12 virion; este aqul, tem? era: Bon, ten 4o;, Mas neste cubo no bd arestas absolutamente, Elas do obuifan, Bas 96 aparecem na sia Teconstrugéo ta Sona Seri: Penssrel no assunto, Uma cols 6 cara. © profes: for exitleou minha Yaldeseopinigo” de que mes ziiodo ‘eva d certea, ¢ também por ter eaquecio a prova. Hess ‘lla eplieece do mesmo modo ao seu *ajose do mone: fom como & minha "antieoseao" Yrortsson: Dalia, que & que oeb diz? Como vocé exorel Sia face events? SUS ES cece meen at See ie ie, theta & Sa ES Bere Ses Seen heer umeren Saat Sean rae phi nae | ee@ A Lésten Bo Dasconmasenro Mateuico EX ilo 0 faria. © sonhor convertewme 40 seu snétodo, fico imaginado per que o senor nan wong também meorpora o tereetfo lama? Proponh wise fe ese, final formulaet0: "Sip euleanes tales poligdros qui selam (a) simplen, (0) tentang aes simplesmente tian © (e) sejam ials que oe Widsesioc ee Fede trlangular plana, resullante da planiceghaetaece, ‘apto, posta sr do al modo mumerades quo rete ss mos 0 iltime_ tring employ iso oe que i aio Oviamente eausiae pista: ‘Bem, '0 tes treet lema choca algun como bo? Vanes foansfommaio mute trees EU, m lor simp, Rie Maver somone uma orden de Reig Sabi, doy na ede plan reoitante tl que roe ange. titre asim fo, eta. 4 poragé dy yh 8 Prova u Cox Exssrtos Grows a ema om nossa conjetura nos lsentari de incorporar ‘beuta! Voce alega que a primelta condigio implies a ter- gle Pode comaprovar isto? ‘sion: “Posto.” —— ‘ sora: ‘A prova concrete, embora interessante, nfo nos ‘sjudard a solueonar o problema: ste que posto mello Taremos hose eoteetra? Passo admlty que voce tena {8 prora que atirma ter — mas iso apensa Wr decom {eteeiro lema em alguns novos sublemas, Deverses teens, formi-es em candpbes? Onde iiamos par? Xara: HA" um retfeceaso Intnito em’ provas, portant, ‘rovis nfo comprovam. Voce deve compreender que piney 6 sat jogo, ser jogado enguanto voce temn proas ocsay quando Weed estiver eansado dele freox: “Nie, iso lo é dlverio, mas sssunto séro, © “Fetronaso infnito pode ser detiio por Temas, tive ‘mente Yerdadelros, que nfo precisam eohverteree et cat igs, (adda: Bra exatamente isto © que ou queria dizer. No {ansformames ‘em condigées aqusles Iemas que podem 421, cmprovados @ partir de prineipios triviaaen see, adeiros. Nem ineorporamos aqueles emas que podem tor gamptovados —poasivelments gracas a, tals east triviaimente verdadeiros —~"a partir de Iemasantenoe rent espetficados, ‘ura: Concordo, Podemos, entio, melhorar nessa conjec- ‘tra depots de termos canvertito be Gols Temas nko {avis a cute, De ae ro rant ie eae neds do sperelpoamento, pele incorporagt da‘ Ieoas, Fe livel"Parecome que ele no” spends ‘apereigsa’ anny também toma pertlta ‘2 conjectura. dele aprenal sige se importante: € erroneo afirmar que “0 cbjctve de tee ‘problema a ‘comprovar’ é mostrar ‘concuavements Gos ita ‘afirmacto claramente aaseverada ¢ nerdatelsa, (oa seu mantel gu ale © ern bo de um {Problems 8 comprorar” deve str aperfegoar de tate fornar perfeta — "a: conjecture: “Ingenta” original ex, ssutéatico “teorema pale prima wee por. ‘Bis SC te: St sick ea ee Bie be Gata Seal do parte” (Ube), ea. ingle» ah Reba» a °€@ A Lowen vo Desconsniesto Mare ‘Nossa gonjectura ingénua era: “Todos os polledrs sf ‘0 migtodo de bervagem de monstros defende essa cone Jjeoture ingenua pela relstarpretagao de seus termos de ‘ESS modo que no fm temee um teorema que barra mons ‘ros! “Todos. cb plledres s80 eulerianos.” Mas a identi Ende Gas exprestbes Unguistiess dt canjesture ingenua fem o teorena batrador de manstios ooulta, por trés das Imiidangse subepifelas no signifieado dos! termos, um Apereigonmento essen ‘6 intiodo de barrer exoegGee intreduatu um elemento ‘que @ sealmente extrinseco ag angumento: a eanvesiaade OG teorema:barrador de escepdes era: "Todos os plleros '@ métedo de Incorporer o leme bescavase no argue mento = isto &, Na Prova oem nada mals He vir Ttalmente rerun a prove no feorema de’ incorporaato do Tema’ odes oe palledros simples com feces simples” ‘mente ligadas sto eulorianea” Tso micstra que (e Agora empregamos_o_ termo “ora no Seti trad) do conprovamoe 0 gue pretendems ‘comproue. ye nenime prove, deve Emnclulr com a palevres: "Quod erat demonstrandum.” = ‘eta: Dizm alguns que os teotemas precedem es provas De orem do. descobrimenta: “Tense que supor Ut teo- ‘eioa Matemétlco antes de comprovila” Outros negsin {Soe alegam que a deroobertadecorte de dedugla de onisées a partir de uma série de premlssas © cbser- ‘agso dae promises iteressantes “~ "ge tivermes sorte Dastante paiva achar alguma. Ou, para empreger uma Gellcioss metafora de um amigo meu, alguns diz que Si heuristion siper numa estrusura degutiva val de alo “Ny onelveio — eo. topo— as promises," outras ‘Gnem que eit vol do topo 2 parte Inferior. Qual 6 a sua posgio? Kiva Que @ sue metéfora ¢ inaplicével & neuristioa. O 'deacobrimanto indo vel para cima ou para balxo, mas Segue tm caminho om aigueaague: agulheado por contra (0a pe) i teh the we § do Intarnate etd de Aen Ambre db fshodaaty $0 rented por isa ae feel ils oe ils paca n Andust 0h Prova x CosmcExttcs Grows 6 exemplos, cle transita da conjecture ingénua as premls- SEP boots volte de nova para desfazer a conjecture ingesua‘e substitute pelo totems. Conjectura ingenua e @ntra-eaemplos nia aparecem na estrutura dedutiva ple- famente amadurecia: 0 aiguezague da descoberta nio pode ser discernido no produto final “ PRortason! Muito bem. Acresenitinos uma observacio fs cautclaO teocema nem sempre difere da conjectura {igGnua, Nap melnoramos neoessariamente ao comprovr. Be provas aperfelgoum quando a ldéla de prove descobre Sipiecs incopersdes de conjestura ingénua que, entio Sporecem no teorema, Mas em tories maduras pode no sBontecer iso, Bo cago, certamente, em teoriss jovens, fm crscnenio, Basu inelgagho dt denote ¢ st fieagdo, de apeitelgosmento ¢ comprovagio, @ sobretndo carci aes i ara (@ parte): Teorite madures podem ser rejuvenes- ties. descoderta. sempre supers s justifcagso, ‘Sones: Host eisssiflengio corresponde a mlnha! ‘ew Primiro tipo de propesigges era do pe madure, o tar- Exo era do tipo em erescimento. ‘ioe Galerrompendo-o): O teoiema 6 falsol Deseobst {tin eontra-cxemplo para le, 5. Gritiea da Andtise da Prova por ContranBzemplos Que Sho Glopets, Mas No Locats © Problema do Rigor. (e) Antimonstro em defesa do teorema ‘canea; Aeabel de descobrt que meu Contraccemplo 5, o"ellinaze, refute nSo apenas a conjectura Ingénua como fembén 0 teorema. inbora ‘le slisfga & ambos os lems, nfo 6 evlerana ‘zra:” Mou avo Gama, nfo oo tome excéntrico. O eine {ro era tima trineadel, eo um contra-exemplo. New ‘hum matemstio tio tomara o clliadro por um pollero, ‘ia! Bor que vooe no protasiou contra o meu Contra romp, ovourigocachelo? Era menos “ezcentrieo” que meu clindre?' Eno, naturalmento, vos! estava crit ‘indo a eanjectura ingénua ¢ sdimitid vefutegoeel Agora BO cae « linde frum sade antarornnteAwduse os Prova x CommaExeseios Gomis 6S A Lésten vo Desconsnuesto Maresico ‘aura: Todo ssundo interpretou “estandida” como “esten ido por inter", "estendido sem Tasger"... Decides {Ho heorporar 0” teredio ema por causa. da. prova. de fipstion de que ele se sogula do Primal." Mas cbverve in sa pve: clase apbla na suposgio e que o fulisdo, do esticamento € uma rede ligaia! Allis, para rede tangulade V4 +P mo seria Sanna: ‘Por que, entfo, voré‘ndo insist ext declarer iso iicitamente? ‘bat Porque todos achamos que estava deslarado impli ‘amente Gaara Mas yoct, com certs, nfo. Porque voe® propis Que “simples” sigaifieasse “enchivel como uma bola” © ‘SYouunare pode’ ser enenico como urna bola — asim, de Seordo com's sua interpretago cle io salstax 0 primero tema Eve: Bem... Mas voeé m4 de concordar que le nfo feliias 0 sagunto Tema, isto &, que "qualquer face cor- Eda"por ume diagonal divide em das peas", Como voos fe tiangular 0 tirelo ou volo? Essie faceaserto si Pleemente ligada:? Sines? claro ue sto fa: ato inary io se poe tsa cngoais, spo: {Mlanentel Diagonat @ uma afesta que ign Gols vétices ‘Mo adjacentes Aas o seu clindro no tom vertices! tancat No ge aborroya. Se Yoce qulser mostrar que 0 cl tio no esta simplemente figado, trace uma diagonel fue nda erie ova ace, “Lira” Deze de brineadera; voo® sabe muito bem que io eu no pono. foun, Bntho vost hé de admitir que “hé uma diagonal rin nova fae” 6 time. declaragto ‘yosd esté defendendo 0 teorema e despostando das refuta Gost Ne east, quando o eamtraexemplo surg, sua Guest eres que’ ua de errado com a conjectura’ Agora Sis questio €! que ha de errado com 0 contra-exemplo? Suiza: Alfa, yoes wrou barrador de monstro! Vocd no festa emberacado? (@) Lamas couttos ‘Extou, Devo ter sido um pouco prcoiptade, Det fe pentar. He tes tipos possivls de contraexemplas, 14 lachtimos o primero, que € loval mas no flobal, que ‘ertamente nfo efutanig Gm teorema," O segundo, que ‘Tanto € global com loeal nao exige ago: lange ce efutar © teorema, canfirma-o, Pode haver uit tereelco ip, global, futsal He tio refara 0 foreman fchava que isto Toate possivel agora, Gama alega que ovelinaro & um, Se nko guisermes rejeltito eomo Um ‘onstro, temos que admit camo contraexemplo global Joep iy P= 1, Mas nfo 6 do segundo tipo inatensivo? posto que ele nio salisas pelo menos tn dos Temas ‘inca? Vamos conterit, He cortamente satistex ori Imelro Tema’ ve ea rellrar Tage inferior, poso facmente Planiticer o restante no quadre-negro Zura: Alas, so vood retirar a parte curva, ele se transfor- qe em dts pesas! Ginsa ® dal? 0. primelro lema axigla que © polledro fone "simples", Seto @, "depots de retina uma face, ee pode ser planifieado”.'O ebindo sitiefas essa exigencia, Jnesino que vocé comece relirand 0 Tolo, O que voed etd fxigindo 6 que o cllinro salisfage ura lema adiciona, ito Sguea rede plana resuttante tambem esteja ligada. Mas ‘Guem, aiguma vez, decarou ease loma? Itza? Sim, Admito. Que 6 que voet pretends agora? ‘ant; nti woot esté pronto a admit que sua nega (go € verdadelra, quer dlzr, que “todas os diagonals do ‘Sroulo'erlam urbe ‘nova face”, 02, que *o circu sim plesmente ligado” Trrar Voce io pode dar um exemplo do seu lema de ‘que "todas as diagonals do elveulo eriam Uma nova face” ‘EAE ie el, geo 2)- O chd « ad no er ee “eee ira a, i oe Sr gue se fat formlnds para tonto ettameria corre” (> 65 SP Gfeananpi ie tna uo bes Je fram dco aes65 A Lésce v0 Descommnanro Mvreekrica -— portanto, ndo 6 verdadeio, mas sem sentido, Sua com cepito de vordade & fasa Sane (d parte): Primelro cles dlscutiam sobre o que Poller, agora dscatem sobre o que € verdade! © finan: Afas ood fe admaliu que ® negagio do lema en alan! Ou serdpotsivel que uma propesisio sea, som sentido enguanto Nao-A™sejaslonifoation e falea? Sia concepego de significado nfo tz sentido! "Fense bem, perecbo a mua diledldade; mas nfo pode- ‘moe, superdia por uma lige reformulagao. Chance ae face simplemente ligada se “para folo,z, te © for lina agonal, nto scat fcy om dat” th 9 Silo nemo reo do chido tin alagonals, de ts0d0 qu, fm seu cis, sea. qual for 2, 0 antecedenie sera senipis fais. Portanto, « condiclonal sord exersplifeada por qual {er objeto each tanto significative. quanto Vera. Guy 0 elreuio ‘eo rolo do aumplesmente igados "9 ell. Go sallsiay 0 segundo lena. Stra: NEO! Yoo! nio pode tragar dlagonais e, por eonse- fulnte, nfo pode flengular as faces Vos tusea haga ‘umd fede plana triangular e munca terk cones Se foneluir'& prova. Como pode, entio, dir que,o ellindro Salisfazo styunda Tema? Nao'peroebe que dave haver uma Sléveula exstenciat no tema?’ corre interpotagto de ‘imples tigagdo de inn face deve srt “para fodo Sse ¢ fers ional nit ci oem an oh Belo menos tmx que seje, dagonal Notre, foray ‘riginal pode no er sido declarads, mas lt estava como lume “suposiedo ocutéa” inoonslentemente fete. Nea Tt, dag" faces do ‘elindro ‘corsesponde aes; forlant, @ chindro 6am contruvexemplo que € tanto global como Tocal,'e nto refuta 0 teorema. ‘ota: Primelro, vee modifcou 0 tema. do eticamento Introducindo “igaclo", agora o lema de triangulaglo’ i frodusindo sua lausale exstencn i tad versa obscura sobre “supasioio ceulta” of “ttt Sigel peed Sik Oot te toate ical}, pr GOT, “Plane ee) saps set Ss ee at'Bres © Newion wre Buchdse ((W066),p. 8. ‘AwMust 4 PROVA P ConTRUENENILOS Glomis 67 ‘eseonde 0 fato de que © mea ellidto fer voed inventar ‘cas modificagdes. ALA: “Que conversa obscura? J coneordames em omiti, {Mo's “esonder”, lemas triialmente verdadeiron © Por ‘qu, entdo, devemos deelarar © ineorporsr lemas. trivial tente false, se so tio terials quanto ehatos! ‘Tentaos fem mente (en thyme), mas ndo 03 declare, Uta lesa técito ndo é err: é snal pespleas apontando para o nosso ‘xara (@ parte): Senso comum & quando supomios que sabemos fudo mas de fato nada sabemos, © inca: Se voot tlvesg feito suposigdes consclentes, clas Sseriam que (@) relia uma feee sempre delaa, une Yede Iigada e'(b) qualgyer face afo-teangular pode ser cok ada em trilagules por clagonais. mors lag estivessem fem sea subeonscienf, foram arroladas como trivimente verdadeiras —¢ trslalmente false, Antes de ser cane frontados com 0 elindro, vost nem mesmo podeia conce- ber que cs dos Tomas focaem falso. Se voct agors dasesse er a ete mtn Hie i el {Ee chnrvot qu ses css {TAS} peeps cia Sheet “re “ornate ‘lc ea saurean oe iene sin i ein (1018) oe Fee is Sema) mmc eee ee ti ata nee agremees tia sa com “ac ii Hae hie 2 ze ‘av sy enn ed ‘ 1 ili‘ an in hae a PaA Lost 9 Dssconsninito Marsico Zaza Ainda bd pouco, Alfa, vocé punba em ridieuto ‘Siusuas “ocultas™ que’ surgiram nag deine ao tee pbs, cada refutagio. Agora € voce gece a “ocultas” os lems api eed i atndo de base e proctransey ule. Que me diz disso, heige xara: “Nada me diverie male putes, Depols da vesir «a contrabandesndo ume reserva. de “lemas senate Pos rova correspondentes "candigdes coultas” TeuNos” 8 Qual 6s dterenga? ZiSrOoR! © problema do Ala era, em divide a ten Gioce, dogmatice de sua aterpretaede mete, Ge teme, le achave que ma culdatose. smeerpareeto ‘Prova produairia uma perfolta anise de prong seston 5 Se septa re nae oy on ess care, anaes va oct Tall pHa Satter CD ae ak ansar due td Os paises cram or ‘Anita OK PROVE CoNTRA-ENENPLOS Gtownis 69 {odes os falss lemas (assim como Beta pensava que podia ‘quumerar todas a3 excegdes). Bla cha que ines do-as_podia conseguir mio’ um teorend aperieroan, ‘as um teorema perfito, © sem se incomedar tom conten ezemplo. 0 ‘lindro mestrowlne estar eared ee 1 Sn arn ‘et pan io prova completa Para veiticar Se ef contin ins IWisos lems relevanttes, (© 0 método de prova e refutagées aorta a a tial crema er teens Setter eases a Sean pie aa sarees ea eins a le Sera a ed ne See a at sic aaah ne sie Gan cs mere Oe Seace de cents ae eee } Seen: See, PSPs sae Pears Rial 2s | SRR ee pale cae70 A Lote no Discossates70 Maran ANiOSE OA Prova & CowmsExexrios Gtowas 11 ‘as fa local ¢ um agente fermentador no progress da analise de prova Gana: Tenha ‘om mente gue, mesmo antes de schar ume Wins sefutagio nds sblecionamas tts lets ignites Drosseguimos' com a andise de prover ase: 2 verdade, A andlis de prova pode camegar ‘plo apenas sob a presido do contrmekenipla globe ae fambémn quando jé'nos pusomes em guards Santee sks No primeiro caso, todos os cantra-excmales globus aparecem como do terdeir tipo, todas Os leas cone suas ‘carrelias como “emas.ocaltes": ica Somes aulatina elaboracio da andlac de prom: oye {eztem-se um por um em contrmekemplos: de see uss; Entio “a vrtude da prova égea reside nfo. em ue ela compele & crenga, mas que sugere duvidar' tase ‘Bias delzemvme’vollas'dsepund possbigade quando néo encontrames qualquer eontre-axemnplo lees ‘Para Temas susplto, sma: Isto 6, quando retutagSes no scorrem & anise de proval Que aeonteceia,entio? LsnonPlsrlamos pete prove adgtta abuo- tata repeitabilidade » os lemas fleariam fora de sumpelede Nossa anélise de prova logo seria exquecida © Sem vofata, fa Bente ee Ua Lai rl lt Bees atten ee sia (00g 300 He dane eats cna So sage Ertl or pce pode eee Smee eS a) No segundo caso — quando 4 estamos cor esptiito ‘adel g pet tm Ramer pete tn eae sat suepeliosoeprocurasncs, aes efutspoes — ‘podemos ‘hegat 4 ma antlse de prova avangada sem qhaisncs Geet Hsmplor HE entdo das poeeiiidades a pase ‘Scie ode obese conjectures Anplaatis eh Sood pi ead egy Bee Pal ih que Case extratura ims curando ‘um poliedro que, depots de fezuda a fn, Pie ues ser eiensido Stn oe See dco spas tages sam sexton cermofermentos para a ankle ag precy seamen olor ‘gr cod agent fetmenisaa vee ae eae Que tanga berele entre nparentes igos! = astm” B cero Se ume Conjecture pede malt plae rel ou mesmo endents, devese comment ae a ed ecole Que la ‘epee Totus we epee ag eal ch Ge {Riso Refuar oy lta pods erate igcad eee ieteete a a an ata da conjecture Seg cee Stee Sena A elas ger pod best proves © deuia os Wore detent a5 MERE, Bala nso Te parece “lis tone Hair 2: Betis ae Rectan ac A ‘Sali te mad de gl gt14 A Loci 10 Descontnaento Marsaénco guns divisors de classe dos poliedres cauchyanes © Ign Hee? Seas Wie rts oo SA cutee et min mes SS SiR names cute mars emeamiee SORE use comagm nee SR Sit erenaye mae Ere ear a ASS ahem neg sre es Heer icc Maran Gee ss Spice eames te seat cers eles Ee ZEntfo, Tefutar um teorema apenas tral nowa cade de, apreender os Temas nele ceultats Oe zm [yeoema” 6 "sengo, « menes que esenee ee Prova) ‘AGrAS Desde que incereza da Unguagem torna inlean- ‘Selo Tgor da anise da prorat ¢ Kens ee do de ores tm press interning portarmcs com 0 teofema? Matematces tere divide, nfo se importariam. Se, contuder one eee ae é formilads, eee no aus Sue Seu teorem sea refutado, mas, no mist, oem {domino ‘de valdade” soja adoqualamea wee, Go HAMID: Quer dae gue vob Mao ae eae er fmntrwexemplo, andlise de. prove’ nem incase Par Jena? HPA: Cotto, Rellto todas as suas normas, ever deo, FEDS ile norm Proms roots cab Fates" (cloras como erst AxiUSE 94 Prova u CoxrnExENrLOs Giosas 15 ido? Se cles ‘nos decepcionaram, Io pote scsnsey 8 momo conosco em Teleedo aoe sterog? Aura: “Atualmente, 0 gor sbsoluto esta tingid, ([Mturmirios na sola de aula} * einen: Esta teorla da prova “elara como cristal” & puro elclogismal tera: (Mas 6 melhor que a pedanteria da liga Ungiis- tice de sua indlse de" proval BF Baers tm,» a ee ak a 2a Oe cna ales fet acy ieee teins ate i rs rename prec Petes Getta Se sepia oS) men ste HEUTE na Scr te Sal oe he Sia? fae 2 wine ute, ce,75 Lore vo Desconamieero Marewimnco ante: Sem Juremento, sou tambéo eftico quanto Fis goueePeo de matemitica como “atividare Cae. mente sem ling SOTA: "Voc® ainda espera chegar Petfeitamente rigoroeu? No aoe falta de jlto os teria ten rimeiro dos seus noves substitu’ nosso teorena oxiared Gc ane, Ga Yes mais precisos — mas apenas ee deere Gis leer da prética desse modo de relasiionacy Cee EGRmpON cade vex ‘ais eklntrios set eae ee {slviais "—"produsindo una posi de esc a ah are Como pode ser telat Avise 4 Paova © Coxras-ExexrLos Gtomus LiEoa: Ainds contio aluminaré quando ‘as 1 ppotecs que 8 luz da certeca_ absolute, efutagdes forem desaparecendo sos Je liguidarims 0""Quod erat dona Por que no tiguldar tambien 0, "Quod ort demonstratum’?’A verdade pertence somcnte ie HEM LG Bote): Unt eben religion eo. plor fatigo dis euneis ‘iasta No vamos eair no melodrams o aie est em Jogo apenas uma estilla mee a Baumbre, de mprecisi, Trate-ce simplesmanta; seer ee Gre antes, de que nem fodar es propomia seer ae deiras Ou fleas, Bxisa’ wine ‘etesracatogria que eu hamaria agora de "mat ‘ou meg . HENS (@ porte): “Logica tvaiente "9 feta, racine de critic! a Afinal de contas, Per BPSS te mlatae oe are Bator: ‘Deveao Sheatvar aoe cone (eB pa) oe ices X78 A Loses vo Descommtro Marenénco SiON: se aflrmamos seu dominio de validede com um sae ou mao ens sand, sara: "Adeguado para que? Santa: “Adequado Data's solugfo do problema que que Bra (@ parte): Pragmatismo! seré que todos perderam o'Inteete na nero? kara” Ou adequade ‘Sutielente para eM: “Historeisma(Desdnimo) ‘a: AS normas de Alf patn “andlse de prova femativa para um Taclonaiitay? Ganen: "Quer diaer entdo. que um racionalista deve aabo- AE 8 “roves rigornaa” de Alls, « intulgle logins ‘Temas implietos"soraberia a fom a et ‘EEA! Sela Como for, $4 estou saturado desses subtertic ce wetbals Snconclusivos. O. que preteade €or, SHESIIUCS 240 ex ured nag ites he sites a justilcasdo de" suse bases Mester see ge, ado par tl fusca me tate eae (i a geetezn. © Acho que Omega tem ume lates sta de provas alternatives prefers ta A AEG Se» eat fmeoma'< ast, ‘ein naa ge tae el Dae tions de Sie % sama rae ‘ale io "se te Sp leedadn ete woes ‘Spe plats esa ANKUBE D4 PROvA x Conrma Barus Gross 19 Gneroa: Mas ou as exporia numa estruture “tosiica”) ‘aera: [Pouco ime importa o envaltis, desde tase alguina ease denteo dele Nola. Esforgamo-nos por mosteat, nessa segio, como o furglmento da critica Imatematica tem sido a fosee tne, tors na busca dos “enmbasamentos" da matonaree A distingo que fizemos entre prove e ariive da ‘row, bem como a correspendente dstingas Cae sie ise Eisen acne tees clu econ ot se Seite opener ov Spee on sie caer aha ane ‘xceilo, ajuste de monstzo ou mesmo “fechavans ce oats Goat fs concordavam em que a. prove ere iste ‘We nada tinba a ver ctn as texSosbcoeh © consirelo de ligiea‘¢ matenéllca no stoulo XIX ‘ove duss fontes principale: © geometria nkocassaee8 A Leéaea xo Descomaesro Marenénco © 2 revolupso do rigor de Wieetrass. Blas ensejaram a Invegragao da prova (experimento mental) © ai refuta: Ges, ecomezatam a desenvalver © andlise da prood, Daulatinamente introdusindo esquenas dedutlvos 10 ex: perimento mental da prove. O que chamdvamos de "me todo de prova e refutagees" era a sua inavagda heuristics pela primeira vez ele unia lopica e matemdticn. O Tigo Yelerstrassiano teiunfou sobre ob edverséroe antinons fos oeultadores de lems que eom o seu resclonariano fanpregavam jargeas como. “obtusidade do rigor" “art ‘lalidade versus belesa” ete, O rigor da andive da prow Suplanteva. 0 rigor da. prova: mae os matemétiok cat Sun maloria, £0 tolerayam seu pedantiame ‘ne ‘medida fi que ela ines prometis cerext absolute. 3 teorla dos éanjuntas de Cantor — que tala ade sis uma sara Ge Inesperadas Tefilagoes de totems rigorosos” — converteu muitos weletatrassanos da yelh guard en dogmaticos, sampre pronto & combate 0s ‘sharquistas", impedindo 0s novod monstras oa TefetindD ‘lemas oeultés” em seus teotemas que representavarn llime palavee em rigor", ao. mesmo tempo etn. que reprimindo tipo mals Velho de “Teacionstios” por iba. ‘eos. pocadoe ‘slguns matematieos compreenderam entio que 0 tm- pulso de rigor da andliso da prova no méleda de, proves ® efutagdes leva, a um clrealo vlloso. Teve into una fontrerevoluglo vinfulconista”> fol eondenado oped ‘smo logicolingustico de endiue da. prova, e imventa- Famese novos padroes extremiatas de tiger pare 8s proves Inals une yea dlvorearames matemities ogica 1s logicisias Tentaramm salvar o castmento e naufre- garam nog paredasos © rgor’bllbertiano,transformou 4 matemdties numa tela de aranha de onclses de prove, Slegando deter 0 infnito retorna, por provas. de" onset fneia cristalina’do sua motatooria intlcionsta, & "ea. mada de base" a rogilo’de familatidade lrrepreenave, passive a ser ‘os experimentos mentals da malcmailes (CH Lakatos (1962), pp, 17099) ediante cada “revoiugao de vigor, « andlie da prova enetrava mals fundo nas provas até “eamada tdsoa 4 conhecimento earrguelfo do senso comum” (cf am. bm ‘nota 69), em: quo a Intuleao erlsalina, 0 gor da prova, relnave! Soberana ea crite era bani, ‘sion | te ‘Axiuse DA PROVA 8 CoNTRA-EXeurtos Grows 1 Aiferentes niveis do rigor 36 diferem quanto a tragarem Gilinta entre o rigor da andise da prove e 0 rigor da ‘prove, iste 6 quanto a onde deve cesear a ertie @ come: far a justificagdo. A “cetera & sempre inatingiel"s nunca, fe acham os "embasamentos” — mas a "asta da razio” ‘ransforma eada aumento de rigor mum aumento de cov edd, no tmblto da mateméticn. Mas es caso val alm do que pretendemoe to presente estudo i cites Mie us oa atte Rie re ee eee = ‘in proves rigores)- A prmaira dauan otad vl lft eriees Ae os oe he nee Sete que oe pote mostrar Ce agal qos sutram a8 prenpongt mien ote copier pier gS vie me Beage ee 4 Sureato e‘cetee'«feettsn) "Kis AL yards sn ‘ten poe ej foceut (Bento dc, ap fam tn ene Pee cma ot ei beledelatfe Siital fae, Wet oes Tay} {ite pte Yuden rds pe foun “ab ee ERP PT, ll als Tate a taA Lénes vo Descoumnanta Mareuinco 8 Volts 4 criti da Prova Medionte Contro-Bcempioe Bie, S00 Lots, Aras Nan Giobats, O Probe Si "49 Giobats, © Probiem aa (@) Conteido crecente por provas mais profundas Sr site pt or uty, Rosso Proprio método ceria um novo’ problems & anise a Bova, nu media em “mie ens, eres, mint contadde: Cua note enta suo eigeno de Bela ha fro Seta setirdo "dala ‘strando de fra’ doe murs nite pieges {ilesnos? "Bm dbos ot tang, pods ac ee fora a igun do baaho junto son f canen Fas OE? Sg conthpeso part 0 cea do Figar na Magee east 4a doe vitios pasos nesse sentido, Pemitam. «we lee om con's reeamntag So Permltareme 1B dls fot quando deparaoe com conte-exempion Joes nts fo souls Game Teion ase at 2 nossa. andlse da prova (Ge que aes Sate Jes [da etrutura plata tlanguis.tenot dnd ae esbliades oy etme uta teat peetpeaes siesta eum vértice’), Be etn in Sue rae sem ‘ovr um ince Pre nt gD 2 Te ince io die pices’ AW ay roots pete Ear terid"rolune rents que ee Vota 4 Catca oe Prova a os contra-exemples terlamos banda todos os exemplos, ‘Fol ean a argumentago subjacente & adogio da al- temativa: em yea de estrefar 0 dominio do teaver pola ‘ncorporagdo do Tema, née 0. ammplizmes ao. substiult @ lena falsedo por outro no faleavel Mas esse padi ‘ital parse formacto de teorema 01 logo eaquecido, C-Lambda ndo se incomodou em formule come’ norm ‘heurstca, Hla deveria er assim: Norma a So termas um eontriecemplo que se local, sas nda plobl, fontemos melhorar noma anise de prove ‘mediante substitugdo do" lemarefutado por otro nao Ialseato CConiracexemplos do puimelro tipa (locals mas no lobais) podem ensejar oportunidade de saimentar 0 con feado de’ nosso teorema qua esti sendo constantements Tedusido sob a pressho de gantra-exemplos do tarelzo po (qiobais, mae ado locas). Giota: A Norma 4 erbe ainda a tragiidade da “intuigéo de pereltaandlise de prove” de Alfa, agora descarlada* ‘Terlamos arrolado ‘lamas ispeltos, incorporando‘os ‘mediatamente e — Sem atenter para contrwexempiog ‘constituldo teoremas quase varie Ploresce: Gmepe, velemoe 0 segundo exemplo que voek ata: a andliso de prova de Omega, o eegundo tema fra que “lodas as foces sao triangularge” Isso pode set falsetdo por numerosas ontreexemplos lois, tas ito fla, noo cas, do eubo ou, 49. dodcisra, Pur fonseguinte, professor, 0 senhor o substitu por um lea (Que fo 6 taleendo por eles, sto 6, que “qualquer face Cortada yor uma feta’ diagonal convertose em duas partes”. Mas, cm ver de Yeoorer & Norma’, 0 venhor fensuroa Beta por "andlise de prova. deseuidads”. Ose: ‘hor eonvirh quo a Norma 4'€ ine eeneats do que "str als euldadoso” ‘arma: Voee tem razio, Gama, ¢ me fae compreender Iielhor "o método da mithar eepéte doe antiexcubes™ les comegam com’ uma eautclosa andiise de" prove, ‘segura e sstemulcamente apliaado Norma 4 pala: To eam a conn 3 hrs SatieA Lécics 20 Descommtevto Marteknco {Yramente elaboram o teorema sem incorrer em falsidade, Voss Oxi, 9 Prov ® All, 6 quesito de temperamento achegarse A tesheas sempre por exageros ou por subestinatiias Gneraa: "sto pode estar certo. Mas podemts Interpreter, 4 Norma 4 de dols modes. Avs agora, Consderanies 4 primeira, 9 interpretagdo mals frac “laborcse feck, ‘mente © Taelhora-se a preva subsliuinds 6 false og or outro lgeramente modicado que 0\ contr-egenns lo refute," tudo o quo se precisa para koe ee Inspego “minis culdadost” da Prova e ume. “obec ge simples". ‘Nessa interpretagto, a. format oar eit e semendo foe dentro da eetrutura da prove one ‘Tamm concedo quanto & interpetagao radieel ie, attra substitu 0 tema — ou peoseimente wie Jemas — néo spenas na tentative’ de espromes ¢ ages £088 de contetdo de determinada prove, tales soe Jnvenpdo de ‘outta completamente difeéate, mals abee, roresson: Por exemplo? Guamia: Discut antes © conjectura Descartes Euler om 1m mlgo que de pronto ofertas ne prove tai” So mos que,o polledro sea eco, com a auperiog Sin de materlal duro, digas, de eat, As teets denen untae, na pata eden umliemos: ten 6 te Bor ¢ colojucmos numa das faces, nm fuse emreonity 4 lente de’ uma méquina fotogratien de mot eee, Poste fotogratar por dentto todas as trsias'¢ sbi Sota (@ parte)?” MMiquina fotogrtien em prea ete. Onaxca: Assim obtenho a fotografia. de uma estratura Plans, que pode ser inspecinade eatastente eon a rutuiaem! aus prov, Bo meme sade tne Postrar Que,'se as faces entire ciapieatore ase Vea grat gle aerewentandy a face me Ueeeas, Slate, ¢ ue 6 sntisivel ne foto, obtenke's aon eee Sune ofa poms eee i a a gas interne do poliedso de mado que tola as arias aes os erties apareeam no filme, “Agora, intreaa soo fnte formula em ver do "um plea qe whe pe yeepot uma face da qual yodemos fotgsaar todo o in {err dre "um paso semen Seno sy se ltr st dos os paletive Semiconven com faces simplemente lgaass’ So ‘tle Snes Skeaut: Por questio de breidade em homenagem 20 ‘prior dea i pel de pov‘ peter dt "Todor poor geponnitde 0a) eatrense™ cata” Map hd mules plledos simple “que, bore Petsiamente cleranoe, io koma Tertber gue no Gin tace an qual se pose Wlopatar toto’ erat A prove de Gergonne ‘ago € mals proftntn Que ae Gatch, pelo ctr, €-a de Caushy que 6 hale pre ferric ntscas lane! ‘Suponho que o professor conhecla Sh acetal Gh ek rie a tet ica gains oa et Sa aoe fRhde de"Caucty, nfo metionte ina “tisador andlise Be ae Ea aig Se eo og aoe Ba Sees Sk SN Ene teens es pr pene ee ca, tec Gen Como cabelas ier amb deeobr tal pole ES 2a pes fe Sear seegteseem, Un, cst Hie: Rooeecs its oe kine ne Seo os Sree ries mote tier 2 ie Soe mime cee misao aoe TEs ap Src fire sip debra Pet See Ene are aera ce uareedt Raoe tg Madi fie eae fat ratio eb stay Se oer 986 A Loses bo Descomamiro Maremico rama: Aho que si 2rorasion: Woot Jé ola falar da prova de Logende Foe’ também se descartaria delay = omar nem: Getamente que im finda menos satitéria Bo de Pbesto de odo que ele. ane ty complstimente, desde que, © spends iene es ae Ge poligoies stele, aac sea prngey Pees ae, gus fl Ponto ete “Bey seundo eat att art fee’ polledsal na enters Po got 8,36 Sonsegu so uo deconpor eat lens ivissente Gere fom nees pean ce fm, Eolt'prinaiy, esas ents dln wwe vie Ee Ett let Gi 1b. bas rove eas PS Spee rare ana ef eee ag tag siammoralias Sa ital eres Se Bie eine tpn BS g outs & Calne v4 Prova ” Tom que ser deeartado © tem-e que procuae pisipee zbals eran” devi" Omega tem rast, “A convexitade 6 até arto le, at pr carr eran, in poss fSnveo pod se tansformado, por crea Peres Salina‘ estendenco um ot nals Gos Garuda Theo af conven ‘once mesos amass confi onal: A rela de Tule sornponde a sige Sate eal Gr vende eet a {sso por seus “quan” ou “semiprequecnedtons Gina” Feet que Protest’ & vee apreenddo nox ‘reli topteices eh prove de Caushy Persea aotes & leas da prova de Legendre oo subtitaides gor oes completamente noes, iss deparelenfao amt poled {Ge tettara ale’ mesmo eo prove Gus @ sent Ques, Shui prota ate ager Prorzsson: Vamos ver isso Goa: Todos woods se Tembram do “outico” ig. 1) ‘de Gama, # claro que ndo era cueriana, Mas nem todos 08 poliedras esteladas so nielerianos! Velamos por exem Boe “erands teary ido (ig 19) Be cone, ecmo 9 dedecaede astelado poqueno® de pentagrames, ‘as iferentemente dspostos. Tem 12 face, 0 arestad 2-20 vertices, de modo que Y— ap F = 2 Fa te Pome (ass, » 1. Mattar ob Tle leet Bic? a ado por Kepler58 A Lace bo Desconmtexro Marerico rei To em tt pn pn eulerianidede também do “grande dodecatdro ‘citcado™ Si ge sae in ee et Pda ae ean eet” cnc lh negate Som Mt dee rr sg ues un sea ge nn te eo mediante ‘uma iniea idéia ee a a 6 2 Yt on ears soe WS See a rm ec gu Didlogos de Galileu. i. fesne at SATE: Tomo que Bal panetas worsens tn rns, Qi altyein. Bi temas hao sh i Rr Oe pa eee gee og oo peoe tear eee ous ve iy et outa A Cate m4 Prov » rroresox: Esquesa projétels ¢ planetas, Omega, vooe por ncaso teve falta am char uma prova que abranja fanto potledras eulerianes eomuns como plete etelae dog eulerianoe? fxeeaa: No, Mas scharel, anoaoa; Digamos que sim; mas que dizer da prove. de Cauchy? voce tem do explicar por que Tejelta Uina prova strds da outra (©) Tondénolas a provas finese e correspondentes conde (ee necessaries ufictentes, Gramma: Voet enticou andies de prova pelo fracasso da fetransmissho de falddade mediante, contr-ecempls do fereeo ip. Agora eu as enlco peo nena Go fae Iplsdo de faltdade (ou, © que vents Gar no mesmo, re Franamiisio. de, verdade)” mediante ‘contrexemplos Go Segundo tipo = Uma prova deve explicar © fendmieno Ge Gtleranidade em toda aun exten, Minha precura € no t6 Go cetess somo tambima de fsa itzade 0 teorema tem Que Sr certo nao davesh exists fente-exemplos dentro de seu dominio; mas ee tem te bin que set final: no deve aver qualsquer exemplos fora do. seu dominio. quero tragar wine isha diviscis ‘hire exemplos e contrastmplen endo entre ura Gomi Seguro do une poscosexempice © tana confuse exer. Pion © contraskempios Etna" Quer clar, vost quer que as candigSes do teo- Fema sejam nko apcaas suficientes, mas também nese ars!" Imaginemes entfo, para fins de argumentar, que ‘oo! tenho desoberto fal fsoreme:meste como: "ols {spolidrormestre 280. eulerioy™ Voce cmpreends {Ge ese teorema’ s6 seria inal" se o Scorn. taverso ‘Todos os potidroreulerianos to potedros estes" tose certo? SSisoa: a claro. Nar Quet diver, se 8 corteza se perde no cfrelo vei 0,0 mesmo acontecerd com a tnaldade? Voce encontrard ‘Sfoeeccamioe aes, as on ‘Gntzscxanlas foe alo" nate fpe lee «leis90 A. Léccs v0 Desoonmninto Narexinco pes mens om pt ain no ein ES Pave Glade ong si en ae a ae ei acta, ae ae Silo Pinay pad te enfin psn sin cms Tepe, ve op ca sea te Pima Paget ou Se ge A ae ee Gene aa Behe oes a ER ce, ng egy gunmen se te ue res ce Pete ncneen name SOORIIO cr toy ln na oe egeeemiere mee megan am Se Spire mere a ae See ae Dene ES a ea Shans ed ance 2 i opens cree eens scandy eee comes rruiram sob 0 on a ee ee sean ie aren ae ede tance eee i Ses Sve ne cna nea oe Sie ar asia ee cane eae SES e eee See oe ' propa nore, Soe an ere eat eet eae ‘Yours A Chinen Bs Prova ” ‘teri um limite: chaméloel de “domino da prova”, & dis. i fue mesmo ee, dominio limite ode ser demas Ke Calves ate vaso). Pode set Peet yanherncs que encontrar provas mals profundas cujos ‘AeGutioe consttuare uma soquencia em expansio, inci GQreada yer mais polledtos eulerianos reealeitrantes que to or ontracnomplos locals para provas anteriores, Bses $Eonlafos por sus Yer cominios Lites, ennvergrdo para Geral Uatle do “dominio da conjectura. ingénua” — {que Patina de contss,o objetivo do estudo, Xi Topologia dessa’ espago heuristen seré. problema pera'a fibeotle da matematica: as seqhenclas strdo inf- Binet Convergirto? Aungurdo o iimile? Sed que o Limite Grume sequtncla vazia? gyumma Safthel ume, prora mais profunda que de femion ace explion tabem a eulerinidade do "grande ‘Sodecaearo estado” de Omega! {Bassa urna anotagto co Professor) Sheeee. Avrova final A verdadedra esséneia da eulrity ‘aidade scré agora reveladal PigSracon: Sinlo mlto, © tempo est passando depres, uorferemes que dart em outta oeasio 8 prova multo Smplicade de pellon, ™ Tudo o que realmente percebo Silo spot Hal no ent qe The st Ones ‘be teordo, Bela? (@) Proves diferente produsem: teoremas diferentes svt; A questo mais interessante gue aprendl des de artis, f Que diferentes provas da mesma conjectora in fo 6 ue corems iotaimente diferentes, A oWmiee. ee Dewarterduler & aperfeyoada mediante aa ageetgum:teoema ciferente Mosse, prove oiiaal Ga Erpae' ow piearos de Cauchy edo eulerionas" Ago dev randemos pobre dos tzoremas completamente, dfe Ta eBrtodor op palodres gorgoneanes alo eeriands” © "fudos on policdroslegendrianos, of0 euleroncs’. Tits Tradot es Peoremas om um antepassdo comm. A9 A Loctea vo Descotanienso Maresnco Seg expreaio “aierentes provas do ‘corona de ‘ile 6 poe coutunddor, poral pe a sft Browse ne formapio do'tzrama, oe © POPE vital Tg gilrei tale proms dts val mut maw im, 96 4 cotlectura ingtnae & aie’ pote a TuRAS slo sobeeobjta de Canchy. sje ee O8 objetas legendrianos, respectivamente, mas de io ale gum sobre poliedres, Pe ieee SF, Ll, Cay, Sane» rte, Pod arte Saanycca ote «teva 2 sats Pg, eo oe Mamas, nde ce ite es ‘hegrvog ue Deora da Legtnaey iba Sig, (UE ay “ae ae hee cage en SOE ee a erties, scat 9 fontexto mals ceeito em ger ‘zara; “Devintios primeiro dlseutir conteido. Aehel a cmpee fue o objetivo 7 BA! Nil Ne entre Vy de P elmer ‘ivése Norma # de Gmege muito trace, mesmo ea soa tagdo radleal, Ynoresson: "Mtio bem, Vamos primetso ouvir 0 entoque 4e Zeta do problema de eonteldo, & entio ta senate ao dseutie a formagao do. soncita © Paontana v0 Covrstao Rewsrecionico 93 ‘Bera: Vood esté querendo fazer gragn? Yt: | No, Expliaret meu ponto de vista. Mas o fareh em famplo, Quero dscutir a formapto de con 1. 0 Probiema ao Conteido Reinspeccionado (@) 4 ingenuidace da conjecture ingénua zeta: Estow com Omega em deplore o fato de que os fantimonstros, os antiexeeydes eos ineorporadotes de se, ‘as, todos, Tutam em procura de eerla verdad em sete esto do conteido, tas sua Norma 4" exgins potas mais profundas da mesma conjectura ingens, noo Wants, For que nossa procurs de cantetdo deve ser linitada oe rime ‘conjecturaingéna ot que deparaseny et de "nosio estuda deve ser "domiSto da cconjectire.ingénue™® Qusca: Nio acompanho voce. Sem duvide, nosso pro lems era deseobriro dominio da verdade de" 2p (oxo pfoblema era encontrar relagho pra qualguer poled, Foi puto seaso que mos adqulrido familerdade om ‘poledtoso* A Looe no Drscommenro Marsan ara os quals V — 4 4 F = 2. Mas um estudo erltico esses paledros “culevianas" mastrounos. que ik sulle Tals poledros néo-ulerianos do que, culesdnes, Por qe ile prourr o donino eae nO.) a SF 28 ou Y ~ A 4 F =O? Por acd etea probleme is so também inteestantes? » Shea: Vooe tem realo. Prestamos muita atengio a V~ 4 a F = 2 ob porguo antes pensivamos que ise a verdadero, Sabemoe agora que tho, e temoy tue ex: fontrar uma iigoa conjecira ingénua’ mis profnda, Sata... qUe soja menos ingena Santa: gue taje una teagdo etre V, A e F para quater poutaro Sere” For gue tata pros Vamos piney rater ® problema mais medesto que nos dpinamos a solace ae i a por ge loa ole oer os At agora chegamos apenas” a expenses, paral Por exemplo, nentiuma' das proves encontaiss trplcod or, que uma estruturaimagem ‘com faces clreundantes anto'na frente como atrds €eulerane (ig. 1) Bie at 4 vei 2 arena 10 fe siza:" Gerlamente, nio se trate dum poledro eauchye tem elem face hredantan sn rvs: B, 0 entanto, @euieriano! Como é iiticionalt ledro actsado de uma talc falia — umn tine ton faces clteundantes (ig. 0) va ser jogado entre as eabsiog femora um que ofenda de tantos oatos tedee tone {cinta es cesnictes (ig. 8) "eam atte Sisson: Voce percebe, Zeta? Ja temos muitos en fora og polledivs eulclanoe’ Vamos restos poteee antes do prosegulr como problema’ mais geral Zaza: No, Omega, “Bale queidee podea set_mal fhe Gels de vesponder do que apenas ‘una’ 'Uin probleme ‘Rovo e mais ambicigo pode set mais Teli de te saclonat 0 que o problema right de iter cea sae © seu problem lmao e casual $6 pode set sollcons Dela resolugto de problema essencial als amp SR ee a ee ieee © Paontzma vo Costndvo RuBSrECONWO 95 nazz: ata: Compreendo sua resisténcla. Vocb caiu do amores pelo problema da desobrir onde Deus tragou & Ube dv Eine entre polledras eulerianas e niouleranos. Mss nto ‘hd regio para scrediiar quo o torme veulerano” tena corrdo ne planta alvina do Universo, Que ser se teu Iovlanidede for tdo-somente propriedade casual de cestos polledros? Nesse caso, seria desinteresante ou aié mesmo Enpossvel descobrir ce siguezagues ao ecaso da linha Ge. murealorla entre polledes.eulerianos e ndoeuerianos. ‘Tal admissfo, porn, ceavia raclonalln puro, porgus ‘euleranidae’ no ¢ ento parte do desigi0 racions) do Universo. Assim sendo, esquegemola, Uma. das principals ‘questbes sobre tecotalisna eritioo & que oe esl eeipre Dreparado. para abandonar o problema crgisal cule so- Tugho esth bm curso e subsite por outro. ‘as ex quero desoobrir o sepredo da euleriant- (©) Inupdo coma base do método de proves e refutagsox soma: Zeta tem ravio. Que calamidade! Esta!’ Calamidade? ‘Sana: Sim Vood pretende agora uma nove “conjctura, Ingenua” sobre a relegdo cntre V, Ae F, para qualquer palledro, nto 6? lmpeetvell Consdere asta multidio Ge contraerempos, Polledres om eavidades,-polledras fom facts ‘lreundantes, com tunels, misturados eam Srestas erties Vt pode aqurie qualquer va- fort Ditelimente Yoot poder reconhecer qualquer order ‘ease caos! Delxamos @ terra firme dos poledros euler bor para entrar mim pantanallPerdexhos iremediavel- tenfe-e conjecture ingdnua,e nfo temos esperanca alga fs de encontrar outa! ima Mas ‘Beta: Por ge nfo? Lembreo do eaos aparentomente Gescaperador de nossa tabela do nimero de Yrtices, ares far e facts até dos polledros convexss ‘als comune Fracessamos mullas eres em slustados hums fonmula, No entanto, de vepenta a real ropulandade que cs gorera ‘noe surpreendeus'V= dy P= 2 Saver *96 A Lisa v0 Desconmmaro Manexnico 10 paotana vo Cosregue Ressrecowuro 97 que chegisoemos oma mova co: Sseeabariams na mesma ws a te scent s Fe cee mum epi at aes i a Seay eee e om oes rapa (@ parte): “Reguaridade real"? Expresso en ate set ine ome fle Soin? "hudo o gue temos de fazer agora 6 completa no ‘dia com os dni pare paiedros ni-eulerianos © Gitar wine Sova formula: Jom sbsevapto paclente Soon, cum pouco.de sort, atiaremas om & tm St a pes oe ae Sia ine peti wn ES come ee Seen te Stil ec Bey eae anus oa enci e a Coenen ce pert ey Me an ese pee come Sn ‘he fazer supostgdes que. produ fOrmulas 40 acaso © Sompare got asus fabela? x assim que voce pensa que enerallagdo indutira de generalanee oe trk um avo alterativo por onde 2 ienelaprogride? f esa? erent aun cagata, Caren et a ae e convir que ndeso primelro sanhesimento, nossis eonjee 1 posi {oy Suposgdo dedutoa “versus” supongio inpense tec) Elta te oo sera ® ae man BESe? sao ge ea netde ees Se cena (led ng Te anes oH etl Qala nd cute tom a SR J ds ie as te tnt, 8 ce Sane, «vee Ni pete aera ea he BPA sadn boom hobar bens a esa ars Sent os de Das See as ala eee Para et jie Unt be Sato: SRS Stet Mas See poe GR Soba ibn sates vn ema: Comegar? Por que, 20 ana mente ara: Comes rT deabee. (ou vento) um PO Sn: No impligae com Bete. 0 prcleme & et Praraio: Nee niy ont ovwimere de cele, ‘BHaserd wa ieGron, andiogs & eapio Sra eure rare de anton patgonas, to 6, 208 Sumer do gerties 6 ner fs Como & que wore comecatit Ws mm Came, ugar, ro daponno de Ye fo Bam, prime, er umn, puis tensa oe POM, render as Bientes de. esau AES Yorteet go tert paci Se go vera pacinels, em iene, eit Qos oasra pare verre lk PCS tar wma rma Oey yl fear parado,fetando of oles Tezguecendo co dade? : lan de ume ila com que €o- SIE ragga A shee mde «roe t,o ~ — eov A _ ‘mera: ‘Preelaamente [Erect Fa ee ‘ears Bg ne voce tra a sua ib? gore Ft Beni ch de wy mas menies quand frmalonss y fondimin ft 4 $ roan pd lat 2 sy famelimts $$ 8 Sane at foboe Be ue ata ‘2 5 8B aera: Mo que, para umn poligono, V = A. ios ae‘A Lécica bo Dascomaro Maranénco ‘Sie SRO" RS or ene fen pico ‘e"aeap cia Saree EE lec au gaat ra Etec tp seh les Stet a tee pe pslepe as‘ fle fs Sl a Barf ones afatan tate 1s pues npc ur gual Same, Broblema surgi do nosso senso comin? gal om cca Se ea otras OPS ma Dong idan pgs « lady Cee Ssh ao yee el wr ult td) isto € no novo sistema bipol hae Yerd um ‘exoesso’ no’ nr sreiias sate € names al sens oa ah ee ‘em Pouce comm mas|peetamente Rdsqusda, te OG “7 WT imeard iso ameno ein uns ay, oases tire Poligonal eaborado dese ina; Tt BE wena Ou Vind ere es VSP tancioa: “Mas isio & faso para a a isso 8 fal para a mairte dos sistemas (© Pronza v0 Coxretuo Renseciowioo 99 onc: as mints constragio s) pode levar sltemas Siggnis “ertu" — limitades poF tim elrulto de are Yaat'eam, inclimenie, tender hex expermento mental fastnas poligonais“fechados, sem nonfulm cesen Ie fhitec Ease Teskamento pode set conseguldo.cobrindo-s Gn aitenna,poigoual bert, do tipo aso, com tum oll ono cong tunp ajostendo ese polgano tema sue {Einos Pde um som mudar Vou 4 ints! 08, para im asta eligonal fechado — ou po- Todto seeado ~ constraigo soe mado, Vp Pm onjctara que vob oblere agora sem “oaserver 0 nme feud ech estan de Uno pat! ‘amon agora vo pode apllar ¢ mblodo de provas ‘Tteatagses som um “ponto de partie nautivo" Samat Gim a aiferenga de gue vooe no precisa deseo Su uma prova prove ja eed Ii! Vook pode prossr- {flr imealstamente com Tefuiagoes,nndllses Ge: prove © Ermagio de torens ‘mvs: Entio em seu método — em vex da obsave oa prova precede = conjecture ingen SShaq Bn,"et no chamaria “do conjecture, ingenua iusia que ialase do ume prove. Bm met mQioc, neo ha jer altclaamente pare ingenaldades indutas ‘ar “rotestot Voel apenas pbs pera tas a partda ine Autiva,“ingenua”? wood comegt com "Y= 4 pare pollge- fs" Vood no besla las em obeervagéox? Jy: tara: Do mesmo modo que a, maloria dos mateméticos, ni et contar Hi pouco tents! cantar as arstas verte fs de uin hepiagond: encontrel petmelio 7 areetas© @ ver. dopo 8 areitag e 7 vetiows ‘Dekeando de lado 0 gracejo, como voo!. conseguly ea Ti ratase do nporante exala ¥ Nat 7 L100A Losi vo Drscosmnersro Maraiénico ‘aera: Flquel profundamente ehocsdo quando primelco Gompreendi que pare o trangulo V4 =O. 8 aro que ‘Sr sabia multo Bem que numa areste V —A'= 1 (fig. 18 | (a), Também sabia que, ajustendo mova arestas, isso ‘Neultata sempre num aumento de um, tanto no mimeo, fe vertices como de arestas (igs. 18 (0) € 18 (c)), Por (Gis, no sistema de aresta paligonal, da V A = 0? Bato, ‘Gnipreendt que isto so deve & transicio de um sistema, Ssberto de areas’ (que € limitado por dols vérlees) a um ‘dstama fechado de arestag (que. nso tem tal limite); porque “Yampamos” “o' lstoma aberto justando uma ‘Rredla sem acfesceutar‘urp novo vértee, Assim prove, 80 ‘bjervel, que = a= 0 poligonas, ‘seta’ Sus habligade nao’ ne sera iL Vood apenas pis ‘Sirus o ponto de partige indutio, recuandoo ainda mais: gore aéclarando que V — a "1 para qualquer aresta, ‘Weed proreu. ou obvervou iso? Tata: Proveio, @ claro que eu sabia que para um tnico egg Von (ig. 10). Mev probleme: era onsrulr uma apo anlloga Err (juroso}! Yoo! mo observou que para um panto ref oes asa: Voeé observou? (& parte, a Pi]: Devo dizer a ele que Trew “ponto de partida dnautivo” era espego vaio? Que feu comecel por “observar” nada? Siataoar Seje como for, surglzam duos questies, Pimel- Tor Sigma disse que’ 86. por’ eotso”historico” podese Chegar® a conjecturas indutioas ‘géauas: quando. nos ertontamos cam um chos Teal de fatos, dileliente po ‘demos ajuste-los numa Tora comete, Depols, Zeta mos frou que pore liga de provas e refutapdes no prec Stmos de eonjectunt tpénia e edsolutamente ndo preck amet de ponto de partica indo, Sumer Provesto) Que dizer das famosas eonjecturas que Do foram pretedigns (nem ‘eguldas) de provas, como 8 Conjectara das quatro ores que aflrma bastareth quatio Gores pera colori qualguer mapa, ou & conjecture Gold {icke"56 por dete histrcos ee provas podem preter Teoremas £ que. pode ocorrer a “euposigdo dedutiva” do Zeta: do contrévio, vém em primelfo lugar conjectures Indutivas ingemuas, Pmoresson: Cartamente, devemoe aprender ambos 08 pa Groce heuristlcon: a euporio dadutiog € melhor, mas & (© Prosteus no Covrnivo Runsesconano 101 uposigdo ingénua & melhor que neabuma supose. Mas Spositdo inpénua do e indian: ndo exsce isso de con jeoturas adutioas! Sia; Mas née schamee @ conjectura ingénua por in dugao! "Toto 6, ela fo sugerida pola observagdo, indieada Dor caso espetiis... B entre of casas especalg que ex fhinamos pudemoe’distingulr dols grupos: qusles que ecedem & formiulagao dx conjeetura e tqueles que vem ep Os pines supevam a, cnjchrm ones fpolararend, Amos tipos de casos deram uma espéle ff contato entree. conjectura eos Taos’... sce Aduplo contsto.¢ 0 nucleo. da tndugio: 0 primetro fom & heurstca indutiea, o segundo faz s justifcagto indutiva, 0 fgtea indusiog, froriison: “Néol ‘Fatos nfo sugerem conjectures, nem Se amparam! Sra "Entio que fol que sugeria V — As F = 2. amin, Erb set os fatos arpladas em mlnha tabela? Peoresson: Hu ihe diel Fol Yoo! mesmo quem deslaroa ar fracassado muitas veaes cm_ajustilos puma form Tee Ora, o que aeonteee fol so: voet tinka ts oa ‘quatro coijectures que aemademente foram refutadas, ‘Eis tavela fo! elabornda no proceso de testagem e refue fgio dessa conjeoturas Hates conjectures morias © agora ‘Sfuecides sugeitam oe fats, e io os fatos as conlet- falan Conjeckuras fagenuas ufo ado eonjecturas indute fhe: chegamoe a elas por tontatioa e ero, mediante conjec- uray e refueagis, he vost acredita— equivocada iments’ que’ chegou a eas indulivamente, © partir de [us tabela, se Yoee acredita que quento mais longa & tt {ela quis coujecturas ela suger © apaio pesteror, ood fstard perdendo tempo compliando dados Gemecesitros, ‘Mian clo, estando persuadido de que o cuinho ds des- obertaval/dos fotos conjectura,¢ dn conjectura & prova {into da IndugSo), vooe pode eaguecer completamente a ‘itermativa heurietion® a suposigde dodutiva. Te ig hm 807 i ma Git Eaane tentativas ¢ erzoe aio Uelamente recosstraidos por, Pélye 5 state ae eg Poe hues ch Siete, sara Fee ee cota a ameto Looe vo Descomsneesto Maric ‘A neuristca matemation € mutto pareeise com @ he. nani ertifsa "nao devido @ que embas sejam indat: Este iene a que emnbus se earacteizam® PO" COnjec. cess sronas e rejutagoee,-& aiferenga — importante — esd ‘aa, nadurega das respectivas conjectures, proves resi ugncla, eapeagoes), © contra-exemplcs 1 Se verecbo. Entio noses conjectura ingénua nfo fot Ts moira eunjeciura fa wsugetida” por fats bratos, ssPodnjectusais’ fol peecedida pot mulkas conjcturas Pee ebeGes wpréingénuas”. A fogica de conjectures © Sefutagdes nao tem ponto de partida — mas a Téglea das TORIES Fetutogoes tems ela cottesa com primeira Profecira ingenia a ser Segulda de wm experimento ‘meatal. emtel aver. Mas neste caso nilo deveremee chaméla De wears Cd parte): Mesmo em heuristis, nfo existe cols Como ferflte ngemsndade! Sora: "O principal ¢ sair do perfodo de tentativa e erro BETA treke pontve, ie rapkdamente a experimentog mer Cun ter demasiado. Yaspeto "inautivo” por “tates” $A Sfepelto ‘pote. prejuaicer o progresso do Bese eRpeneine que’ vase ehepue por tentative, @.€TO ante ganas YA + P= 2,0 que soja imediatamente ‘A comlge pela gbservagia de que V4 + F = 0.n0 caso Tefelsdadavasimeger, Se You tives muito respeto pelos face cGpesieimeste quando eles refutam sun conjecture, fates eecask, con tentative. @ err0.PHEANgENUGS. er EB Dogon Tm anaconda ata see a aera denn gorn edmrarel © ee eae orto amalt Serena ansgin fre bearatin nti See a ey ak oe oe fesse (0 Proms vo Conretno Remsrecioxsoo 103 ‘pusca de outra confgctura, bas se vost tiver Reurfstica rcs, pelo menos tentard ignorar 0 teste observaions! meas, eink experimentar um teste por e=perimento Imontal Goo a ork CUP ts Mona?” Que confusio! Por que chamar de teste procs de Coucny? Stra: ‘Por que chamar de prova o teste de Couchy? Tra Westei ugar Voots comegaram com uma conjecture i: gene AF = 2 pata todos 05 polledros. Daf Sioae tiraram eofsegaénelas: "se «, conjecture ingens Wier ceva depois Ge Tetizar ume fac, para a restante gatos CO SSP fv fe enna consequstca estivr ceria, Fe taesio depots da trlangulagho”; "ee ess Latins cbnscgitncla eativer certa, V— A 8 = 1 sexd Valigo enquaato oe tltmgulos forem feirados um eum" lap aativer certo, Vow A + F = 1 para um tnieo Hingulo, e assim por diante "Sra, € sabido que stan Ultima conclusio ¢ verdadetra, ‘Mas que aconteceia ee Wessemos eaneTuido que para um Mee slttiingule V— A 4 F = 0? Terlamos imodiate ‘ee, ejellado, como falsa, 2 conjecture original, Tudo Jue zens fol tartar nossa eoojectara: trar emseqién es ese “fete pzesiacorroborar 8 conjectura. as ‘corroboragio no 6 prove, Granea® Nesse caso, noisa prova provou sinda menos do ‘ine ciperdvamos que provasseTemos, eno, que inverter (Te ites etostar eonstruir Urn experimento mental que SPreessseatide eontdrior do teléagulo ao polledral dts: Iso mesmo. $5 Zeta cbsarvou que em veE, de Te BEIM. gous problema taediante primelro deseobely uroa ‘onjesture ingénua strevés de tantatira e ero, tastando-t Seueende o Leste em prova, podemos comeca® dlretameny {e'som a prova rea, Se tvéssamos compreendio @ post ThiSade de “ruposigdo dedutiva,poderiamcs ter evitado Yodas esses heatagoes pooudosnautivas! kara (@ porte): Que dramética seqiénela de viescaste Grr oVeatic ite tra dogmétic, 0 dogmético Delta vira SBhiSconista eo indutivste Bele agora vire dedutivstel ‘Fonts Mas espere. Se 0 fete experimento mental... Seat A que chamare de andfe. acoder scmpeatads por wna prove eeTot A Loa uo Dascosaneesto Maresisico sera: A que chamarei de sinese.,. Stora: cveerd 0 "teorema” anaitica” neoescarlaments dntiso a5" "toorema sintdtea”? Indo no’ senda oposto, Podemice walizer lemes diferentes! = Sera’ Se eles ado diferentes, entio o teorema sintético eve suplantar 0 anailtico — afinal de contes, 2 andlise Spenas testa, enquanto sintese prove, Provessor: Sua descoberta de que nossa “prove” era de {ato um teste parece ter chocado a turma e distal a Ateneo de sew principal argumento; de que, se tWvermes lim conjectura que ja fol Fefutada por um eantra-exeme plo, deverns por a refutagzo de lado @ tenter testar 8 con- Jeolura por ma experiénla mental: “deese medo, pode: iamos depazar com a prove, debtat a fase da tentatira verze, © passer para mélodo de provas refutagoes, as 7 exatamente isto que me fer dier-que “estou ee Dosto a ‘provar" uma eonjectura fala" H Lambda tam bem’ exigi em sua Norma 1: "Se termes uma cones: tura, ispeniamonos @ provéela e Fefutacia” ‘ava: Cerlo. Mas permitam-me suplementar as nomas 4 Lambie 6 a Norma 4 de Omega pela Norma 8. Se tivermon contracezempios de quatquer tipo, operimentemos encontrar, por supcigdo, dedutie, um ‘remem funda oqual fan no mala Ooazza: Agora vood estende meu eoneeito de “profundl- tage —"e poda ser que esteja certo. Mas que Gear da, plea redide sus ora norma? até agora ela 86 noe feu resultados Que ja conheeiamon, Bell sr abo depots do sconterido, "Sul “suposigto dedutiva””€ exatamente {2 sintewe correspondente andes original do’ Professor tas agora, por uma questéo de honestidede, yoo! dere fempreyar 0 Seu métode para encontrar una’ conjectura Sobre s qual voce nade eAibe, om o prometido aumento (0 Prowtans vo Coxrniao Rensrecoxsso 105 era: Certo. Comego com o toorema gorado por meu ‘xperimento mental" “Podoe os palledros normals Yeshados ‘So culerianas™. fea Noma? so ma tira: Nao quero perder tempo indo pelo métedo de prova ‘refutepbes' Chasho de “normals” exatamento todos 08 polledos que podem ser eonstruidos a partir de um pole ono “perfeio” pela ajustagem dele (@) primelro #— 2 faces som alteor'V— d+ F (eee alo poledras normals fbertos) e() entéo urna ultima face para Teehévlo que Sumente Y "4°2-F det (e tanslara 9 polledeo abeto fm polledzo feenado) Ghunua: "Poligono perfelto”? Zeta: Por poligend “perfelto” entondo aquele que pode ‘er construldo a parti de um tinico vértice pela ajustae fem a.ele primeira den — 1 avestas oom alterar V— Sventdo. dima Ultima’ areite Teehadora, que’ dlminis vast Taazoa: “O “eu poliedro normal fechado colneldirt com 8 nosso polisro Be Cauchy? feta! ago desejo proseeguir com taro agors, (© Conteido aumentato por sxposiglo dedutiva ‘proresson: Basta de preliminares, Vamos & sua dedugio, Sana! Perfeltamente, seabar, Tomo dala polldros or ‘mls fechas (lg. 20 (a) )e calo-cs ao longo de um flreuito pollgonat. de modo. que as duas faces que se fmconteam dasaparesam (fig. 20 (0) ).. Uma vez que para ts dols polistor VA = 4, o dasapaceeimento das fiiae faese no polisdro unido ira precimente restart formula de Buler — nentiuma surpresa depols da prora fe Cauchy, visto. que’ 0. novo paliedro pode tambem faciimente ser enebldo como uma bola" Desse modo, ah formula prevaleee também para esse teste de colagem, Ne dow Orpen, Rasa ifs, 6 falas, eter see Gt ge ing ta Spr ee Sat is scat pus an Ei rade Seno Socata aracev tone © argunwesto, de fate, ainda prevalee). .A. Léccs uo Desconmento Mareoico Mae tentemos agora um teste de dupla colagem: “esle- ros” 03 dais polledros ao longo de dois cireutas poligo- hls (ig. 20 (e)). Agors 4 faces desaparecario © para novo poledro Va Pw cinsn: aus este € © Contra-ezemplo 4 de Alls, a estn tira imagem! 2a" Agora, ge eu “colo de novo" essa estruture-imagem (fig, 20 (6) sinda outro polledro normal (tig. 21 (4) ), Vee Speed (ag. soa: Para um poliedro monoesterdide V — A. F = 2: pera um polled dlesfeide, V4 4 F = 0, para um Thestercide V— d= 2, pare um poliedro neste: Bie T= 44, P23 “2 . que é sua nova conjectura’ de eontetdo sem precedent completa, com prova, sem tet compiado wma Einiea tabela [Rae Tt soto por Rane (Hn, © Paosumas x0 Cosreivo Ressrzcosswo 107 aaa: Isto 6 realmente encantador. Nio sé voot expl fou @ obstinada estruture-imagem como tambem produ: iu ua variedade infinite. de novos contti-exempos 2rrai Completos, cam explicac no: Tambim cheguel eo mesmo resultado de mancira Giferente, Zeta. comegou com dois exemplos eulerianos @ converievas em contre-exemplo numa expeléncia com {rolada. Bu comeco com um contreexemplo e converto-o Gn examplo, Miz @ soguinte experéacla com ‘uma estri- fate imagen: "Seja.o polledro do algum Seta fel de ‘orlar como argia intcla; passemos tm cordio pelo tinel f depots através da args, He ndo oe dividira..." Nas tomsburso'um pelledro esferéide conhecid, simpice! ce to, aumentamas o nimero de faces em 2, ¢ 0 nimero de srectas e-vertees em m; mas desde que sabemos que Scartcterisea eulesiana’de um poliedro simples € 2, 0 txiginal deve ter tido. & caracterktien 0, Ora, treet Sarmos mais, dlgamos n, dees cortes para redusir 0 pall ‘dro a simp poled, sua caracorstica sera 2-2 ‘Sou: Igo 6 interesante Zeta jo nos mostrou que Do- mon no presiaa dune conjecture fm de comefat Dprovendo, die. posemos Imedatamente.visiumbyar ua Ffnteo, ito 4, Uma experiénela mantal prova a partir do lima propesigéo relacionada que sea conheclda como Yerdadelra, agora To noo mostra. que no precsumos do lima conjectura nem pare comeyer' lestajom, mas que podemos eomecar —~ fazendo rer que 0 resultado J0'ia Ed para char ume andie, isto ¢, une experténcla rental Snraca: Mas, sofa 0 que for que vod eseotha, ainda. de até hordes ie polidros inexplicadoe! De acdrdo com 0 ‘au nove teorema, para todos os polledros V — 44+ P éum DBimero unlformé, menor que 2 Mas vimos wns tantos polledree com exdHeay earacterstcas eulerinas, Veje. 0 bbe empenscnado (Og. 12) com Vad P= 1 Soaps cto, a. i aie amie se ie Se game mea nets (Heath (OH) rl, Ty 3). Biter "ew prblaney a enon) Gt ante Pow C80, Bo lb (-Papgoe’) Wi108A Losi no Desconrneevro Marini favta: Eu munea dliso que meu teorema ao apiea a todoe fs. polledros. Ble se apilea apenas a todee os polledras ‘esferdides construides de agordo com mink Cabo: To. Minna. elaborapdo, tal camo prevalos, nko. leva fap elreundantes, Sxasaa! “ator ‘Sona: Sell Podewe também estendé-o a poliedos com faces eircundantes. pode-te constr mm poligono eats far es creundantes pola suptessto de Uma areste sem reduaie © nlimero de faces num apropriado sistema de poligonos fgerades pela prova (lige. 22 (a) © 22 (0)). imaging que {alves aja também slstemas’ “normals” de” poligonse, construldas. de acordo om nossa prove, nos. quais pode ‘hos cuprimle até mals do uma areata sem refuse @ mie Ginsa: Certo. Considere exte sistema poligonal “normal” (lig. 23. (@)).Voob suprime ‘dues afsstas sem reduait Vata 2 itt SS § mee ‘sata: ‘ulto bom! Entéo, generaizando, temos D+ Se VrAsPaa—aQn pace polidros neserdides — ou lgados — com ey arestas Spi et edt do stereo fans bie ‘mula explica med eibo empensenado (tig. 12), um poied’o” monossferide. (em 1) com tums facé clreundante: @ slo. aeto, exoeto para que 6 4, ou Se, consequentemente V— 4 + F = 3, sata: Expllca também sua fantasia euleriana “iragioe mal"! 0 eubo com due facte eiseundantes eum fined (ta 0). wn poet dete (nm 2) com ey = 2 Yor conegunts, su earacteritia 7 — A Pa = (0 Prost vo Costetoo Rewsreconioo 109 <2 42 = 2, ordem moral yolta a reiner no mundo dos poitearoet ‘Ooaota: “E quanto aos polledros com cavidades? ‘Sona: Se Para els tomoo que aereseentar es caracte- Histicas eulerianas do cada superficie desligada vedere ¥ Ebmtnae Eu} ov, rma (OM Lg pt) oe “Hatt cp elt edroe calaianos (i893), pp. 18-30) Cf. pole 100. * na See eke ete it Siehngou Asesaine formulas VAY = 2 Te Pe face. Tansblon provoura eas alone intra, mo tes ‘Bese sete ieamplete (CE Noe, 0). lo ‘aot suice pale tyler han ota oo pale for nal tal genio geo rnc ana, | Hg Steud de Stn ‘tis te >]; ute ein ape“ enpwpnte ise SVS sok iathige rte Eee oe oe ee EGS Smlorealsuse gun sus forms cr -encpi Eee ee ee ae ee see urea aie? ah ees | Spee a i ten Para mais exemple ep Note 1d a | |MOA Looe no DescosrauesTo Marini ‘seta: B os tetruedros gémeos? Sona: "Sel ‘iota: De que vale todo ease rigor? Pare com esse esudal 4 trvlltdades pretonsoeas! ™ fAiza: Por quo deverd paar? Ou se trate de monstros ‘etracaros gemeos c no auténtieos poledros? Um tetrae: dro gemeo" por acaso ‘ngoé tao valldo quanto 0. sea tilindro? ra’ "voct quem gostava de rigor Tinplieico = Yor que agora faz pouco do nowso rigor? Temas que fazer fom que\o teocema abvanja todas ob palledros —torman foo rigors estamos sumentando © feu eaneeddo, ¢ nao Aimissinda, agora o eigor 6 virtudel mapa Virtudes magantes soto ruins quanto viele Imagantes! Alem “dlso, voots jamais eansegulro igor completo. Devenios parar quando deixar do et interessane ‘ prosegu, fuss; Tenlio uma oplaigo diferente. Comegamos a por (Um vértioe € um verte Deduzimas disso (2) "V = 4 para todos os pollgonoe perteites, Dedusimes aizoo () Vem 4 4 F = 1 para todos os alatemas poligonals Sbectae normals Dito ecunncs ae ves (Vi dt F = 2 para todos os sistemas poligonals echados normals, isto 6, plieros. ‘Anda disso, dedisimes, elternadamente va er a2 2 qn 1) para polldroe sesteréides nottnais. ) V—a4+ Peta — 1) + Soy para pote dro resis noma eo fe naignna ree Terran eeken poliedros mesferdides ‘ormals com foose multligedas © om cavidades, ‘caso nis é um desdobramento. mareriinoso das iquezas implicitas do penta de partida trivial? B vista fue (2) é'vendadeso, go todo @ restante 06 © Prostesn vo Cowretno Rewsrecionsoo IIL 1 (@ porte): Riquezas Impliitas? $6 08 dats times Mmostrain como as" generalaagbes se podem tomar Dor as anciDa; Yoob realmente acredita que (1) é 0 snkeo exo- a do qual fudo o mais se segue? Que a dedugdo aumenta fo contelido? sumentasse 9 eontedo eu nio @ ehameria de dedusio, as de “vertlengGo: a verlicagto difere da demons: fragio verdadela preisamente porque @ Puramente ana iitiea e porgue & eaten" = aamoa: hae tem divida a dedusdo nio pode sumentar © contetido! Se a ertien revela que a couctusio 6 mais lea que a premissa, temos que feforger a. premisaa tor sando expletta os iemas lnspliitos, mara: Hoses lemas implies € que contém o requlnts ¢ flipoidade e em ditima instdndla dastroein © milo da edupio Infaivel Psoreason! Duis alguma questo sobre o método de Zeta? 1, Ral i tn cnn a der ome oer de ore ies, "Fade pce “ depestram es ‘oneal de heal cn sete sees But snc same omg thes ace Te A ea ere sould XD com het maa ‘Slave ities sonade Bice ee Ee are ‘ertadors 6s‘ tendo dar-eacania sino along at |12 Lowe xo Descomnassz0 Maresinco (©) Contra ccempe gies “werous"_contr-ecmpie ‘hewristicos: ua) me Gosto da Norma § de Zeta — como gostava da. Satie PRC alr fee coe eur page sonaierae cmtraenempee ais ety Sacer ai "gue ate normas oni Ge tat fase vi como lotamenteinofeian seas ane ante fo pong de sta nero beget Cay ar eas pa var nove experinents Seana Ecneteat em ‘nosso consents ‘gore Zeta nspado por contexampin gue sf tg stesto Tempe gable © Beaks pertie sone {es ponto de ist Lien as nad de pons ae ae Hist emir cotroboraicn, ainda dehandam Gate Eta prose eden, Sattar tone tperinete meted atiialy't fide ‘conerr conten hace Reieas, inkasciiogeameste tliat St 1Wglep como hauristiog, "8819 0 Ponto de Guia © Zea Inlinam-se por mores as, 20 paso {fag Tame sobretudo Gains preocupame com arte ngistics pee tater do dus cbteeeacenas we ‘ui mas info ical: of Unies Teevantes ao a6 Ponto Hama! Yost quer der que o ponto de vista Lgico 6 “ex- fale Seas 4 Sia a eaten ts cmt eens Sieve copammets fm gies © aia SUAS. aes eco gage setae ok acp canna cen ate {tot Comeramos com um problema, nD cota unt va ‘it Aleman parece tar rere ou fli a temic { (© Prontana v0 Coxrréao Rensrecoxsso 13 fauza: Essa campana por partes, mas lrrsistivelmente witariosa, nes levard a taoremas que S80 "no por sl mer oe evldentes, mas apenas dedualdos de principis Verda: ‘eitos ¢-conceldos por continua e ninterupee stviaade ‘do um eepirto que tem clara visto. de cala passo ‘no ‘proceso’ Jamnals podenia ser conseguida por obserra- Hio "sem tendencladieds” eum instante de vihumbre Fema: Tenho minha divides sobre esa vitera final. Tel ‘tdra jamale nos levard ap ellindro — parque (1) come. com tim veri, eo ellindro no tem verti, Nunca foderemos chogar também ao paliedro. da um iodo so, Str poleeros nultidimensionsie. isea expansia contints ¢)por partes pode muito bem parar em algum pento em ‘que tethamos de procurar uma nova e revolucionéria artlde, H meamo casa “eontinuldade pectin” esta plena fe refitagdes e exftess! Por que vamos em Treite a partir de (4) a (6), de (8) a (©), de (@) a (1) a nfo fer sop © premio de contrwexemplos 20” mesmo tempo flobals c Iocais? Lamia. ceitou com> contra-cramples fEuténtioss apenas aqueles que slo globals, mass no locas ‘les Tevelaram a falsdade do. tcorema, A inovacio de ‘megs "com fustezs exaitada por Alfa — consti cm fonslierar também contra-exemplos ie tio louis Tas flo glabeis como cantra-eremplos autentiog: eles’ reve- Jeram a pobrena da erdade do teorema. Agora Zeta nes ‘diz que feconhecamos inclusive aqueles contre-sxemplos ‘tue seam glob ¢ locals como, auténticos: eles também testam « pobreza da terdade do teovema. Por exemplo, Gitmuturardimagens so" tanto contracexemplas globass emo locals ao teorema de" Cauchy: so evdantemente orroborapses na medida er quo so a oerdade esta em Jogo -~ nias ado refutagSea no se se refee 0 conto. Podemags chamar de ticar oe primeltos contreceremples {lobals, mas ndo locals) © ace Outros de contreecemplos NBurstiges, Quanto mate admitimos refutagdes — Logicas (8 beuristicas mals rapidamente’progtide o eonheek fento, Alls conalera’contraexempios egloos como irre lovantes ese recuss a chamiclos de contre-exemposheu- Hstcos, devido & aus obeeseio com n iddla de que 0 Bro- fretto do conhecimento matemético ¢ continuo e de que ‘enti no desempenha popel algun. or Demares (2088), BareHt A Loca po Descosnauevro Matesknco Hi24: Voss expande o conceito de refutagio « o de ex ea tfilaente apenas ara justia fas tsa ef 2 db progres do conheSimenta, Ariiceg faeit imo sistrumentos de um fae cities “! Pr [Ache que a dlscussto da formaglo do conceito pods Ser de valor pore eluctdarmes © pra » aaca! “Samet todos oures 8. Formaplo de Concelto (© Refutacdo por expansto do conceit, Reavatisgdo do antimonstro e dos concetoe de eno ¢ vehuteene 1H Gosia pncnanente gear tee ah eam tas 2 tem eat gms oie Ge, cay ia tecrends eae anon en see Bos a Sa aera ear ia a ee Regie lp oa $e ait ona ede eae Seca ts eee eters Ai ete eo sora ot ol a ete, ars Severn Sg, Sao ee Gama: Que ha de errado nisso? * Feat a ee au mucton coe Soo Gee hears oes Sage arrape ePedsBsneae oan tate il geen mee ua Feu? cence nai acy cr eo a een hee ec pa tani a gc, Dear Ea, fete ost pate ll oe Gee Besson hee Ub Zl cera ee pelea Gh as a, Semaine Fuk s ns Fomugio ne Coxceo siti a tnt tan ede ee SSS Ace er ee icicle creas caper area cet Sei oes Se SE Temes eect sop Saas Bird cue Sien: “has nfo era Delta som, seme muda eo Sipe? sempre que apresentovamas novo. contra exer SE Shudave sob deflagdo pare outa, ois longa Aue voltae outras de suas Seaubulas” implicant ais, gu sprees dahon St ex Sparéveia “ele mudava’ sua pesgia. Sem roxio, voo ‘oPacunou de empreger epciclos tarminoligics sulbrept re a eee ‘Mbie Slovenes <"alncoves tm ea (00), ania eer ‘£:'itte alee seqnnrar setae ponder wen rego ames iS as tieer (ce cea oe ete = it te La or Basel (Ee edna fh. ‘ler crite fms, a Smetana | Reiter ee sverdadsre sma Wstsie‘veciont Bb tetemdle)s ¢ users mile es re ates et0 Dascomierro Mareiinco Fomgio ne Coxcemo Ww et aie. Sas, Sa, et ia nln ac Sin ae Samramalamal, as, Loe rina Bevel ‘eit esc pie icy a ead Ses cub Oecd ere dai ele nee i el ell ui rs ele mtn ac Rectan daeeio So ame ani Serr en a a SaoTR a meester aa celts te Maecenas Bakes sale Ses is na sree alee la ae Sh Sila at ee jrommanle pms ene Po ats eae Sol cee aly saci am, nb ae FESS Ge Ses Sema nee Fen oie ns cn outs omnes Aa, inn ot atsecabes rem ae ores de canceitos. “ “ ae iat cme tae Mag cote ee pen as tte ee dl eae Saha peda Sine tnt cyt a EE ode, ic antinontioetntamse a enn Sigal RS etal ata 9 cnt toto de Pon coments un inde te alee eed ss'ubeidve dane der conpontpstes sarcte Tie) cutiowo 6 que a amplingdo se dé sub-epticlamente: nine fruém se dé conta da coisa, cl uma ver que o “sistema foordensdo” de todos expande-se com © ampliagto do fonceto, caiso vitima da ilusdo heuristien de. que 0 ser antimonstro estrella os eonceltes, quando de fato torna-ae ‘variants Satta’ Eniéo quem era inteleetualmente desonesto? ‘Quem mudava subreptsiamente de posigio? fanea: Admito quo estdvamos sem razio no culptr Delta, or contradigbessub-repticias de seu eonclto de policdro: fodas as suas exis dfinigées denotsvam 0 mesmo. antigo bam coneelto de palledro que ele herdow de seus ante Desadoe. Elo dafinia o\memmissimo pobre conceito em Etruturas tadriear do Pajereneit ow Unguagens cabo ‘mais ricas!-animonstro no forma conoetos, mas pe: fas tradus definigoes. © veorema antimmonst, nfo sig Fea aporfegeemento algum da conjecture ingen. puma? Voot quar dizer que todas as minhas definiges fram equivalentes do ponto de vista logico? tinea: so depende e_sua teoria logics — de soordo fom a minha, sem divida no so. dua! “Esta vesposta ‘nfo adiantou muito, voob hé de fonvis. Ma, digarme, vooe refstou a conjecture ingenu? ocd refitou somente por perverter sub-repticlamenta su interpretagdo original! ines: Bem, nés a refutames de medo mals imaginetivo interessante do que Yoes jamais teria sonhado. Nisoo Yala diferenga entre refutagdes que apenas revelam xm fengano itiota e refutapbes que ido falos destacados 0 ‘progreso do conttecimento, So vot tiveste descoberta que pace todos os polledras V = A. Fa devigo @ nfo sber conter, ¢ ew tvesse corigito voed, nfo’ chamacia ‘iso de vretuiagao" ‘ura: Game tem Fazio, Depos da revelagio de Pi, polar ‘mos hesltar em chamar nossos “contra-exemplag” de eputro-ezemplee légicor, visio que eles io. 280, stnal, fconsstentes com a nossa conjoctura em sua interpre: Ptgpio intencional; mas so, sam dUvida, contro-exemplae Tewistios, Jé que estimulam 0. progresso do conheck- tanto. Se aodldssemos a liglee limiteda de” Delta, ‘preanhsclmenta nso progrediria: Suponiheee que alguéssSA Loe po Dacomaire Marans | Fomupko oe Concazo ‘AREA: Woot expande o concelto de retutacdo ¢ o de ct ten aricaunente apents pare fusion eee (cide Seadeia na medida em que preraeca, © a prova era seul ‘Vieram entdo as refuagie, lm st zalo rio, eles eram conelto de poled, pare cotanger ice ue eram esiranhos a hua prttadiis meres eg vd ne rnd ge agi, ra flea apenas numa inerprtaglo mio sere ds, Ininuada pelos refitaconsta’&"etutaceo® es do rerelou qualquer ero na eanjctark orginal nenlnt geno a prove crignal reveion a tistinng, ene va conjeclura que ningulm havla tismado @° sit ‘Gal ninguém hivia pensada antes Coitado do Dalia Ble dfendew valorosamente a n- elas cgtal dp plied. Contsupis cad anit ripe na ova elldsua pars slvapunidar © comets eal como natunens os am HG cen? Fs ue a dscussio da formagi do eanceito po ser de valor pare eluidarmos 0 problems: ‘ioea; “Samde todos ouvidas, 8 Formagdo de Conceito (© Refutesdo por expansdo do conceit, Reavatlagfo ‘antimonstro.¢ dot concetos de eno ¢ vefutetae 71: Gastar primeiramente de vollar 40 tempo pré-2e 28 mesmo pre-Omega, aoe tes principals metooee formagio "do Veorema: ‘antimansit,antiexcogis s ‘metodo ‘de provas e retutagées, Cadk qual congo c 4 mesma conjeetura ingen tas teminou Sone feo rete tenn edna Ja snhou alguns ‘spectas. deaas”aiveengen i sad’ go isso ft insatisiatorio — sobretudo 6 caso do ane io e do método de prows e retutagoes alla achava 8 fcorem do entinionstro “cute tin apereigonne ‘soenclal por irds da identidade a exptesteo Ince ‘he conjectura ingénua: achava sie que ‘Della: Pek Mente redusia a classe dos’ poliedres“ingemuse™ my classe de monstros ndo-culerianos expurgaton, frosa: “Que hi de errade iso? Pr: Que nlo eram os ankimonetros os que redusiam cxitos — cram as refutagoes que os espandlant, bra: Brave, bravo! Pr: "Recuemas ao tezapo dos pioneiros no estudo do to que nas ceupa. Hier eatava fascinate pele Sea {tia dos polleos regulaves: achavaam que ds co oo Fegulares mantinham 0 segredo. do tismos. Pol ng épeca ql’ ae. apresentou a conjecture Descarlon hi ‘quando o concelto de poliedro isu todos os: tpes Poliedros convexos e-atd mesmo alguns polidos chen Mas certamente no. abrangis pillerbs. que noe ‘imptes, ou poliedros ‘cam “face! clrcundantes, Pass Ppoliedrds que eles tinham em mente, a conjecture ta: ‘Mas nfo era Delta quem sempre mudava de pox Sempre que, spresentavamos novo. contra excmpo, ‘muda ‘sua ‘detinieto para outra. mals Tonge, Sue bse outras do Suae “oldululag” tpliceat {Que monstruoss epreciagdo de antimonstro! $5 em réieia ‘cle mudava’ saa "poagéo, Semm ‘resio. vocd ‘acusou de emprepar epcilce terminddgices sutsrepi Bt oe te meng ae og convex einen can eet (1900). May antes e"Lialler oe ig ie aneesn oeaPalse fis aeN16 A Lénta bo Duscomro Marzuinico Fonucio oe Concerto my ios na obstinade defesa de uma la 8 Portentosa Definio f: epiege flcle consist de faces peligonaien Is lore insite com isso abr Spal uri 6 que & ampliagio se dé subepticiamente: nine guém se dé conta de coise, © uma vee que’ 6 Seeley feordenado” de todos expandese com a" amploesee ns cunceto, oatse vitima da ilusto heutatcn deme, fntimonsto estreita os coneditas, quando de fate toca Invariantes, seizi Eniio quem era intelectuimente desonesto? ‘Quem mudara substeptslamente de posignos inca: | Admito que estévamoe sera resto ao culpar Delta por contradigdes subrepicias de seu eonceto de Poles fodus as suas seis definiobes denotavasn 0 teams coaiey Bom concelto de peliedro que ele herdou do sous ante ‘assados. le dethiia 0 mesmissimo poore comsces a ruts erica de referencia ou tinguagene cate thats ris: antimonstro ndo forma covceton, ta fay trade defines. © teorena antisense eee ‘ea aperfeigamento algum dn conjecture gees ez “Voob quer dizer que todas as mins” definiges ram qulvaletes do ponto de vista legca? ‘aa: sso depende do sta teri Ides — de acordo coms minha, tem divin nio sl Brora: Este vespsta no adintou muito, vod MA de ouvs.Mas,digeme, vo retitou a conjecture tapeaues Vout ‘a refixou somente por perverier mibpleieeoens ‘ia interpretagto eriginal ‘tic Bi, Sf ftaos de modo mals imagnatno fun detingdo plausive © apetenenest: 9, gue fea Delta as vets tien ‘brigou a expt tas"! tado porate © const 4, @ fol stplantado por na prctenaite Atte imaginese une dere aie ike dele celeste adequndatnens ee {pelo pretendida de “pallearo™ doe cnigy SoS St Pnisss stumbar detinigdew enda vex meng Meet dio eamatran Pars, digamas, “poledros comple’ eet ro complexo'é ti agregao, de Doliedro gerado pela refttagdy de wee pone ue te quer Siac Assim, 8 eoria doe séldos, 0 reino “ngénuo” ong) da conjetara eulenana, decir ea eee” fa model eapareoe ‘na geomet peje Yada por Getycnne: ne topologies anaihicg sa ‘na Topologiaalgebrieas se" prea acs re Eetilument agua eto wet eompmeroon Sie fom Ay le omer pr so pla praca oe Be oe ee Sar SUG, ene he Spee ee sin emi le el Bete Eee clr see A ane is te onc dite do ees an Osdae fi! esta a a fea cree Stes gia IES fo ects mem“ isto 4, “objetos cauchyanos"?” aes Gana ok te vate on mens wp nen ‘ena'ne ae Sei ence uso sx Sancti lit aneenenn det? pa EEE aa um cota mas pet aero Epa wns em tury dere Shs reach trie ee (Cubed Tp. 6) Se zea: Nfot Pa ent, SWBEA: Acho que 0s pontas de vista de vocts sio para. axa! - FE: Se tor8 entende por paradoxal “uma opinifo alnde Do aceite Fomucko oe Coxceito rr tum conceto novo, intlramente dite ‘moto geral," e'possivamente inconss: fente ‘com algumas'de suas idfias ingenuas acrgada, ‘Rem pense miso: voeé, tam apenas que substieur su ‘les ngénuas por {deus paradouale seo pode Serum ‘modo de “solucianae” paradexas, Mag que opiniio naa fm especial voot tem em mente? ‘Stata? Como voeo dave ae lembrat, deseobrimos que ale ‘guns polledros estelados slo" elerianos, ao paso que Sires nko 0 aio, Hivos & procura de une rove. Gus {ote aulentemente profunde para explicar a euerahi Aide tanto de polidres eomuns como ctladoe fesuor! Bla tenho, ‘Sona: Sel tts apenas para argumentar, imaginemos ise cv are, fr ao. gue ereca, em acrésekmo'Lprova de Cauchy pare polldros somus” eueranoe, ‘uma prova”corresondea mes totalmente diferente pare ox police eselndas cater: os, Voob dviira em ols, Ph, o que anteriorments cass Hesmes como. um? E.vooe teria dune cols. complete, Tente. diferentes unidea 0b ‘umm Inesmo nome eras Slgutn aehe ama expla comm pata sgunas do mae repeedade’ Fr im, evldntemente caso que nio chamaria uma Bate dé else, nem nh rad de cxisn baralnena (ome os Eacios Sostumam tase), @° nem me pertarse {tio tm sep se refere a tm vidro como ta ligule & progreao de fato subsite a elesifccgdo tngbnue pal ‘aio fdr, isto 6 por caaingto peru Fela feoria (Geredn pela prove, u, se quserem, gerada, bela expicagdo), Tanto. conjectures como concelos tnt de ata plo pungatcio de provasevefutscen. Cnjecturas conection gene so suplantaos por conjectures feo, emas) = conceit (concctoe geradar por prova Ck Cote ‘evs tedicos) gue surgem do mttodo de plovas «refute: fies. B'a medide que Hels conelos soplantany ie I Wiis (956), Ceres & Rept do Dige 8124A Lowca po Descomeyro Mareninco ¢,cenelis ngtoans, a ngusgem teéleaeuplanta a tn guagem ingénua. 22 ve pant 8 ie Seen open Satire ec fs ro aed ste ni tant oats om os SSE & ee mies Tada ee ‘eis seprageal ds HORE seh tiene ene, TL Aes Fomugio ve Covceto ns GP EOD, Semmes, § readin caineiso final e ral, & linguagem pesfeta, endo partido da aang Heagto ingénua, casual © meraménte noun es (0) Refutogaee lépieat © hewristices reinspeccionadas 24, Ponnltamne relomar alguns dos problemas que sus sllamos relacionados com a supeigta Getutiva, Peinace, tomemos "o problema ice contrexemplos heute pers contreaxcmplos igo, tal como’ surgi na den uso entre lta ¢ eta a izha exposieio demonstra, scho eu, que mest os og contra exemple loiede" eran’ Meulatane We Interpreiaeto originariamente preleniida, no" hives sted, aneoutamente, ene: (0) toioe oe aah io eulevianos o (0) estrutursdanagenr no @ chistes fot ivmay is "nome nan geno cp em exiginal,nosias conirecaemplos nfo Seo sontea nee ls. Foran ‘convertides em contta-exempioe pions won, Jas ple manga das noms ca ingusgen feet sto deconclo, aoua! “Voob quer dizer que todas es retutagSes interes. Stes slo heuisticns? zi: Exatamente. ‘Voob nfo pode distinguir retutagbes brovas, de um lado e, do outro, mudanses ha Soteabons foe & ifinty ington, of caminlay eto re daa St i hPa, Mn 0 ct eet Aisamente eagddh ne Stas”A Loot bo Discoumneiro Miranénco Fomugko 0 Coxceno intuition conceptual © taxandadea. Bm gerl, quando & Sbesente um Veonteaexempioy Yok ta ea a Se red se Fecuza s Incomodase eam le Wste ae PRs latamento am contrsenempio em fia deat ity Se die OF Nook eoneorda em "mode sua tng Retndendo canceito e accta 0. conttesuampla eee oma linguagem 2 ZETA: eg explice em Iy) Tica BE Aterdo om a racionalidade esttientradctnat, reed fom que fazer a primetra esotne A ces 8 fazer a Segunda Souk

You might also like

• The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  

  From Everand

  The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  Mark Manson

  Rating: 4 out of 5 stars

  4/5 (5822)
• The Gifts of Imperfection: Let Go of Who You Think You're Supposed to Be and Embrace Who You Are

  

  From Everand

  The Gifts of Imperfection: Let Go of Who You Think You're Supposed to Be and Embrace Who You Are

  Brené Brown

  Rating: 4 out of 5 stars

  4/5 (1093)
• Never Split the Difference: Negotiating As If Your Life Depended On It

  

  From Everand

  Never Split the Difference: Negotiating As If Your Life Depended On It

  Chris Voss

  Rating: 4.5 out of 5 stars

  4.5/5 (852)
• • Magazines
  • Podcasts
  • Sheet music
• Principles: Life and Work

  

  From Everand

  Principles: Life and Work

  Ray Dalio

  Rating: 4 out of 5 stars

  4/5 (610)
• The Glass Castle: A Memoir

  

  From Everand

  The Glass Castle: A Memoir

  Jeannette Walls

  Rating: 4.5 out of 5 stars

  4.5/5 (1717)
• Grit: The Power of Passion and Perseverance

  

  From Everand

  Grit: The Power of Passion and Perseverance

  Angela Duckworth

  Rating: 4 out of 5 stars

  4/5 (590)
• Sing, Unburied, Sing: A Novel

  

  From Everand

  Sing, Unburied, Sing: A Novel

  Jesmyn Ward

  Rating: 4 out of 5 stars

  4/5 (1105)
• Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race

  

  From Everand

  Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race

  Margot Lee Shetterly

  Rating: 4 out of 5 stars

  4/5 (898)
• Shoe Dog: A Memoir by the Creator of Nike

  

  From Everand

  Shoe Dog: A Memoir by the Creator of Nike

  Phil Knight

  Rating: 4.5 out of 5 stars

  4.5/5 (540)
• The Perks of Being a Wallflower

  

  From Everand

  The Perks of Being a Wallflower

  Stephen Chbosky

  Rating: 4.5 out of 5 stars

  4.5/5 (2104)
• The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers

  

  From Everand

  The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers

  Ben Horowitz

  Rating: 4.5 out of 5 stars

  4.5/5 (349)
• Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future

  

  From Everand

  Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future

  Ashlee Vance

  Rating: 4.5 out of 5 stars

  4.5/5 (474)
• Bad Feminist: Essays

  

  From Everand

  Bad Feminist: Essays

  Roxane Gay

  Rating: 4 out of 5 stars

  4/5 (1025)
• The Outsider: A Novel

  

  From Everand

  The Outsider: A Novel

  Stephen King

  Rating: 4 out of 5 stars

  4/5 (1867)
• Her Body and Other Parties: Stories

  

  From Everand

  Her Body and Other Parties: Stories

  Carmen Maria Machado

  Rating: 4 out of 5 stars

  4/5 (822)
• The Sympathizer: A Novel (Pulitzer Prize for Fiction)

  

  From Everand

  The Sympathizer: A Novel (Pulitzer Prize for Fiction)

  Viet Thanh Nguyen

  Rating: 4.5 out of 5 stars

  4.5/5 (122)
• Angela's Ashes: A Memoir

  

  From Everand

  Angela's Ashes: A Memoir

  Frank McCourt

  Rating: 4.5 out of 5 stars

  4.5/5 (441)
• The Emperor of All Maladies: A Biography of Cancer

  

  From Everand

  The Emperor of All Maladies: A Biography of Cancer

  Siddhartha Mukherjee

  Rating: 4.5 out of 5 stars

  4.5/5 (271)
• Brooklyn: A Novel

  

  From Everand

  Brooklyn: A Novel

  Colm Tóibín

  Rating: 3.5 out of 5 stars

  3.5/5 (1948)
• The Little Book of Hygge: Danish Secrets to Happy Living

  

  From Everand

  The Little Book of Hygge: Danish Secrets to Happy Living

  Meik Wiking

  Rating: 3.5 out of 5 stars

  3.5/5 (403)
• A Man Called Ove: A Novel

  

  From Everand

  A Man Called Ove: A Novel

  Fredrik Backman

  Rating: 4.5 out of 5 stars

  4.5/5 (4771)
• The World Is Flat 3.0: A Brief History of the Twenty-first Century

  

  From Everand

  The World Is Flat 3.0: A Brief History of the Twenty-first Century

  Thomas L. Friedman

  Rating: 3.5 out of 5 stars

  3.5/5 (2259)
• Steve Jobs

  

  From Everand

  Steve Jobs

  Walter Isaacson

  Rating: 4.5 out of 5 stars

  4.5/5 (809)
• Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New America

  

  From Everand

  Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New America

  Gilbert King

  Rating: 4.5 out of 5 stars

  4.5/5 (266)
• The Art of Racing in the Rain: A Novel

  

  From Everand

  The Art of Racing in the Rain: A Novel

  Garth Stein

  Rating: 4 out of 5 stars

  4/5 (4208)
• A Tree Grows in Brooklyn

  

  From Everand

  A Tree Grows in Brooklyn

  Betty Smith

  Rating: 4.5 out of 5 stars

  4.5/5 (1929)
• The Yellow House: A Memoir (2019 National Book Award Winner)

  

  From Everand

  The Yellow House: A Memoir (2019 National Book Award Winner)

  Sarah M. Broom

  Rating: 4 out of 5 stars

  4/5 (98)
• Yes Please

  

  From Everand

  Yes Please

  Amy Poehler

  Rating: 4 out of 5 stars

  4/5 (1903)
• A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True Story

  

  From Everand

  A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True Story

  Dave Eggers

  Rating: 3.5 out of 5 stars

  3.5/5 (231)
• Team of Rivals: The Political Genius of Abraham Lincoln

  

  From Everand

  Team of Rivals: The Political Genius of Abraham Lincoln

  Doris Kearns Goodwin

  Rating: 4.5 out of 5 stars

  4.5/5 (234)
• The Woman in Cabin 10

  

  From Everand

  The Woman in Cabin 10

  Ruth Ware

  Rating: 3.5 out of 5 stars

  3.5/5 (2522)
• Wolf Hall: A Novel

  

  From Everand

  Wolf Hall: A Novel

  Hilary Mantel

  Rating: 4 out of 5 stars

  4/5 (3973)
• Fear: Trump in the White House

  

  From Everand

  Fear: Trump in the White House

  Bob Woodward

  Rating: 3.5 out of 5 stars

  3.5/5 (738)
• John Adams

  

  From Everand

  John Adams

  David McCullough

  Rating: 4.5 out of 5 stars

  4.5/5 (2409)
• On Fire: The (Burning) Case for a Green New Deal

  

  From Everand

  On Fire: The (Burning) Case for a Green New Deal

  Naomi Klein

  Rating: 4 out of 5 stars

  4/5 (74)
• The Light Between Oceans: A Novel

  

  From Everand

  The Light Between Oceans: A Novel

  M.L. Stedman

  Rating: 4.5 out of 5 stars

  4.5/5 (789)
• Manhattan Beach: A Novel

  

  From Everand

  Manhattan Beach: A Novel

  Jennifer Egan

  Rating: 3.5 out of 5 stars

  3.5/5 (880)
• The Constant Gardener: A Novel

  

  From Everand

  The Constant Gardener: A Novel

  John le Carré

  Rating: 3.5 out of 5 stars

  3.5/5 (104)
• The Unwinding: An Inner History of the New America

  

  From Everand

  The Unwinding: An Inner History of the New America

  George Packer

  Rating: 4 out of 5 stars

  4/5 (45)
• Rise of ISIS: A Threat We Can't Ignore

  

  From Everand

  Rise of ISIS: A Threat We Can't Ignore

  Jay Sekulow

  Rating: 3.5 out of 5 stars

  3.5/5 (137)
• Little Women

  

  From Everand

  Little Women

  Louisa May Alcott

  Rating: 4 out of 5 stars

  4/5 (105)