Qu'est-ce que penser - LSV

Post on 17-Jun-2022

4 views 0 download

Transcript of Qu'est-ce que penser - LSV

Qu'est-cequepenser?Alarecherchedel’esprit…

AlainFinkelENSParis-Saclay

16/12/16 1AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

SéminairedeFondementsdeMathémaFquesetInformaFque…

Jenevousparleraipasdeça

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 2

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 3

Deuxesprits?UnevraiecitaFon?

Mieux…

•  PourunespritscienFfique,touteconnaissanceestuneréponseàunequesFon.S'iln'yapaseudequesFon,ilnepeutyavoirconnaissancescienFfique.Riennevadesoi.Rienn'estdonné.Toutestconstruit.

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 4

Husserl(1859-1938)

•  Husserl,lefondateurdelaphénoménologie,aétémathémaFcienetassistantdeWeierstrass,psychologiste(c’estlenomàl’époquedeschercheursenpsychologie),philosophespécialiséenlogiquepuisenfinphénoménologue:saquesFonessenFelleétait:

commentconnaîtrelesobjetsetnonleurapparence?

516/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Jevousparleraideça

•  Approcherlapenséeengénéraletcelledel'auditoireenparFculier.– Comprendre/inventerunedéfiniFon/preuve/algo/concept/théorie

•  MesmoFvaFons:– Comprendrel’esprit– enseignerauxétudiants–  formerlesprofs

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 6

Ettoutdesuitemesconclusions

•  Thèse:penserc’estsereprésenteretcalculersurcesreprésentaFons(R)

•  LesRpeuventêtre:–  Abstraites:symboliques,numériques,verbales–  Concretes:imagées,visio-spaFales,audiFves,kinesthésiques,corporelles.

•  IlestpossibledexplicitersesRetsescalculssurlesR.

•  Nouspensonsdifféremment

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 7

Paradoxe

•  Comprendrel’esprit,lapensée,laconscience,l’agenFon,c’esttrèscompliquéavectoutelasciencequisedéveloppe…

•  Maisc’esttrèssimplehumainement.

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 8

Commençonsparunjeu

D’accordpourjouer?

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 9

•  Jevousdemandededonnerlaréponsequivousvientavantréflexion

•  Ouijesaiscen’estpasfacilemaisfaitesuneffort!

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 10

BiaiscogniFfs(Kahneman)

Problème1:«lacourse»

Uncoureurdépasseledeuxième,quelleestsonclassement?

AlainFinkel-SéminairedeFondementsdeMathémaFquesetInformaFque 1116/12/16

Problème2:«labageetlaballe»

Uneba8eetuneballecoûtent1.10€àeuxdeux.Laba8ecoûte1€deplusquelaballe.Combiencoûtelaballe?

AlainFinkel-SéminairedeFondementsdeMathémaFquesetInformaFque 1216/12/16

Problème3:«Linda»Lindaa31ans,elleestcélibataire,

franche,ettrèsbrillante.Elleestdiplôméeenphilosophie.Lorsqu’elleétaitétudiante,elleétaittrèsconcernéeparlesquesGonsdediscriminaGonetdejusGcesociale,etelleparGcipaitaussiàdesmanifestaGonsanGnucléaires.

Selonvous,quelestlecasdefigureleplusprobable?

□Lindaestbanquière□Lindaestbanquièreetféministe

AlainFinkel-SéminairedeFondementsdeMathémaFquesetInformaFque 1316/12/16

BiaiscogniFfs

•  Thinking,FastandSlowwasthewinnerofthe2011LosAngelesTimesBookAwardforCurrentInterest

AlainFinkel-SéminairedeFondementsdeMathémaFquesetInformaFque 1416/12/16

1.Laréalitédel’imageriementale

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 15

«J’entendsetj’oublie,Jevoisetjemesouviens,

Jefaisetjecomprends.»

16

Confucius-551/-479

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Aristote-384/-322

«Jamaisl’âmenepensesansimage»

17 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Descartes1596-1650

Préfère les mots aux images et crée la géométrieanalyFque,i.e.résolvantdesproblèmesdegéométrieenrésolvantdeséquaFons!

18 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Descartes

•  «L’imaginaFon,àelleseule,estincapabledecréerlascience…toutefois…,nousdevons,danscertainscas,recouriràelle.D’abord,enlafixantsurl’objetquenousvoulonsconsidérer,nousl’empêcheronsdes’égareretdenousgêner;ensuiteetsurtout,ellepeutnousserviràéveillerennouscertainesidées»

•  EssaiedeconstruirelesmathémaFquessanslesimagesréputéesmoinsfiablesquelesidées(mots).

1916/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Hegel1770-1831

«toutcequiestuniverseletpurementabstraitnepeutsetransformerenphénomèneconcret»

2016/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Einstein1878-1955

«Lesmotset le langage,écritsouparlés,ne semblent pas jouer le moindre rôledanslemécanismedemapensée»

21 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Exercice1

•  Compterdansvotretêtede1à60enessayantd’ajouterunàchaqueseconde

•  Recomptercegefois-cienajoutantunetâchementalesansrapport:– Vousraconterunehisoire– Écouterunemusiqueagréable– Voirdansledétailuneimageagréable

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 22

RichardFeynman-Lesmanièresdepenser

hgps://www.youtube.com/watch?v=WDGAO-UGRPE

2316/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Exercice2

16/12/16 24AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

TestsderotaFonmentale

16/12/16 25AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

TestsderotaFonmentale

16/12/16 26AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

TestsderotaFonmentale

16/12/16 27AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Lebalayaged’imagesmentales

Kosselyn,Ball,&Reiser(1978)1.  LeparFcipantdoitmémoriserlesobjetssur

lacarte:huge,lac,arbre,buisson,puits…2.  Ildoitparlasuitesedéplacermentalement

surcegecarted’unobjetàl’autreselonuneséquencequiluiestdonnéeàlacadenced’unobjettoutesles5secondes

3.  Ilappuiesurunboutonquandilaageintl’objetcible.

16/12/16 28AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Kosslyn

2916/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Lebalayage

LetempspoursedéplacermentalementaugmenteenfoncFondeladistanceentrelesobjetsdansl’imageprésentéeaudébutdel’expérience.

16/12/16 30AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Chien,moucheetéléphantdansl’esprit

•  Imaginerunchienpuisajouterunemouchedansl’image

•  Imaginerunchienpuisajouterunéléphant

16/12/16 Alain Finkel - Séminaire de Fondements de Mathématiques et Informatique 31

Chien,moucheetéléphantdansl’esprit

•  Imaginerunchienpuisajouterunemouchedansl’image Temps=c

•  Imaginerunchienpuisajouterunéléphant Temps=c+200ms

•  Kosslyn(1975)16/12/16 Alain Finkel - Séminaire de Fondements de

Mathématiques et Informatique 32

Chienetmouche:çava

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 33

Chien+éléphant:Yaunpbdeplace…

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 34

Ceciestrare

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 35

36 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

•  DonnerunedeuxièmeinterprétaFondelafigure

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 37

•  Pasfacile?

•  Etmaintenant?

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 38

39 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Chambers&Reisberg,1985

FiguresambigüesPrésentaFonbrève

40

Aucundessujetsdel’expériencen’estarrivéàfournirladeuxièmeimagealorsquevisuellementlagrandemajoritéarriventàlapercevoirsansdifficultés

Puis(sansl’imageprésente)ondemandaitauxsujetsdedonnerunesecondeinterprétaFondelafigure

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Retournercetobjet…

41 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Cen’estpasfacile,vousnevoyezrien….

42 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

C’estfacile!

43 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Unautre

44 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

débat:codeanalogiqueoucodeproposiFonnel?

•  Codeanalogique:lesreprésentaFonsdesimagesressemblentàcellesdumondephysique.

•  CodeproposiFonnel:lesimagesstockéessontdesreprésentaFonsabstraites,similairesaulangage.

LesRMpourraientalorssestockerentrelesdeuxtypesdecodage:

•  analogiquepourlaplupartdesFmuli•  proposiFonnelpourquelquesobjetscomplexes.

45 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

EtudescienFfiquedesreprésentaFons/imagesmentales(depuis1850)

AlainFinkel-SéminairedeFondementsdeMathémaFquesetInformaFque46

–  StephenKosslyn:hgp://isites.harvard.edu/icb/icb.do?keyword=kosslynlab&pageid=icb.page250946

–  ZenonPylyshyn:hDp://ruccs.rutgers.edu/faculty/pylyshyn/pylyshyn.html

–  MichelDenis:hgp://www.micheldenis.fr/

–  MentalImagery(StanfordEncyclopediaofPhilosophy):hgp://plato.stanford.edu/entries/mental-imagery/

Kosslyn:Mind'sEyeRe-CreatesVisualMemories

AlainFinkel-SéminairedeFondementsdeMathémaFquesetInformaFque47

•  «KosslynnotesthatimagescreatedbypureimaginaGonsharethesameprojecGonequipmentasactualmemories.Thatmakesiteasytoconfuserealandimplantedmemoriesofabuse,orofwitnessingacrime.»

ByWilliamJ.Cromie,inHARVARDGAZETTEARCHIVES,

GazegeStaff

2.ReprésentaFons

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 48

Expériencedepensée!

•  Imaginezquevousêtessurunfaisceaulumineuxvousdéplaçantdansl'espace,entraindevousregarderdansunmiroir.

•  Pensez-vousquevousverriezounonvotrereflet?

49

AristoteetEinstein,Stratégiesdugénie,RobertDilts,DdeB16/12/16

AlainFinkel-SéminairedeFondementsdeMathémaFquesetInformaFque

DarwinPremière représentation de l’évolution sous forme d’arbre, par Charles Darwin ; tiré de son premier cahier sur la transmutation, 1837.

ERREURD’INTERPRETATION

16/12/16 50AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Lestempsdel’indicaFf

16/12/16 51AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

J-JROUSSEAU1712-1778

52 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

ConfessionsdeJJRousseauhgp://un2sg4.unige.ch/athena/rousseau/confessions/

jjr_conf_06.html

« Je n'ai jamais été assez loin pour l'applicaFon del'algèbreàlagéométrie.Jen'aimaispointceDemanièred'opérer cequ'onfait;etilmesemblaitquerésoudreunproblèmedegéométrieparleséquaFons, c'était . Lapremière fois que je trouvai par le calcul que le carré d'unbinômeétaitcomposéducarrédechacunedesesparFesetdudouble produit de l'une par l'autre, la justesse de mamulFplicaFon, je n'en voulus jusqu'à ce que j'eussefait .Cen'étaitpasquejen'eusseungrandgoûtpourl'algèbreenn'yconsidérant que la quanFté abstraite ; mais appliquée àl'étendue, jevoulais l'opéraFonsur les lignes,autrementjen'ycomprenais .»Livre6

53 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Miseenimage

54

a+ b

b+a a²

ab

ab

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 55

3.Lesmaths

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 56

Hadamard

16/12/16 57AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Poincaré1854-1912

N’aimepasledessinindustrielIlinventelatopologiealgébrique

20/20entoutsauf0éliminatoireendessin

MalgrésoninapFtudesporFveetarFsFqueetuneépreuvededessinindustrielqu'ilauraitratée,ilseclassepremierauconcoursd'entréeàl'Écolepolytechniquele2

novembre1873,puisàl'ÉcoledesMinesenoctobre1875

58 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

NicolasBourbaki1935-1968

mots>images

LathéoriedesensemblesAxiomaFsaFon,…

Plusd’images,dansleslivres

59 16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

BenoîtMandelbrot1924-2010

Images>mots

En1962,ilinventelagéométriefractale

60 UnobjetfractalesttelquetouteporGonestidenGqueautout!

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Mandelbrot•  Sonprofesseur écrit au tableauun longproblèmed'algèbre.

LejeuneMandelbrotlèveledoigt:"Monsieur,vousn'avezpasbesoindefairetouscescalculs.Laréponseestévidente."Etildessine une figure géométrique. L'enseignant Fque, maisvérifie. C'est exact, inouï. Alors, il propose de nouveauxproblèmes, toujours plus difficiles, et à chaque fois l'élèveproposedessoluFonsgéométriquesinéditesetlimpides.

.•  MandelbrotestreçuàNormaleSup,maisn'yrestequ'unseul

jour, effrayé par le dogmaFsme d'une école mathémaFquefrançaisecoupéeduréelethosFleàtouteformed'applicaFonpraFque. Il déserte pour Polytechnique, puis part aux Etats-Unis où il intègre le centre de recherche d'IBM. Il y resteratrente-cinqans,fuyantainsile«terrorismeBourbaki».

6116/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

«Àl'origineétaitl'image…»

“etjemesuisaperçualorsquej'avaisuntalent:celuidesavoiràpeuprèstouttransformerenfiguregéométrique.Làoùlaplupartdesgens,y compris mes professeurs, voyaient desproblèmes d'analyse ou d'algèbre, moi jevoyaisdeschosesgéométriques...

C'étaitundonspontané,que jeneculFvaispasdélibérément.”

6216/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Géométrieetalgèbre…hgp://www.cnrs.fr/fr/recherche/prix/or/2016-voisin.html

•  Maisl’idéegénéraleestlà:unpassageentrele«topologique»,l’«algébrique»etla«géométriecomplexe»,une«mulGplicitédeperspecGvessurunmêmeobjet»grâceàdesapprochesmathémaFquesdifférentes.«C’estcelaquiestpassionnantdansmontravail,ceva-et-vientpermanententreplusieursgéométriesetplusieurstypesd’ouGlsafindedémontrerdesrésultatsdansl’unoul’autredesdomaines»,poursuitClaireVoisin,l’airsérieuxetlavoixbasse,leregarddanslevide.

16/12/16 63AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque

Fin

16/12/16AlainFinkel-SéminairedeFondementsde

MathémaFquesetInformaFque 64