L'idée de voyage temporel est l'une des plus séduisantes que nous propose la littérature, de science-fiction en particulier. Mais l'examen de ses évocations révèle bien vite contradictions, incohérences, paradoxes... Peut-on tenter, à la lumière des acquis de la science contemporaine, de réfléchir à ce que seraient des voyages dans le temps et d'évaluer leur possibilité effective ?

Cet ouvrage nous initie à certaines des recherches actuelles les plus subtiles de la physique contemporaine sur la temporalité, et nous amène à la lisière de ses hypothèses les plus novatrices, que proposent la théorie des cordes, la gravité quantique, ou d'autres approches.

Au-delà de la seule physique, ces débats concernent ses relations avec d'autres disciplines (biologie, théorie de l'information, philosophie). Sans oublier les développements historiques, littéraires, cinématographiques... que le thème a suscités.

C'est finalement la notion même de temps qui se trouve, à l'issue de ce livre exigeant et important, profondément remaniée.

Marc Lachièze-Rey est directeur de recherches au CNRS et travaille au laboratoire APC (Astroparticule et cosmologie).
Spécialiste de physique théorique fondamentale, il s'intéresse aux rapports de cette discipline avec les mathématiques et la philosophie.
Auteur de nombreux articles spécialisés, il a aussi écrit plusieurs ouvrages pour le lectorat cultivé.

Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction, sa lecture ne requérant aucune connaissance particulière, il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats. La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle. Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle. De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.

Batman Saga T38 [Urban Comics]



Batman Saga T38 [Urban Comics]
French | CBR | 24 pages | 18.8 MB

Batman Saga T37 [Urban Comics]



Batman Saga T37 [Urban Comics]
French | CBR | 24 pages | 18.8 MB

Batman Saga T36 [Urban Comics]



Batman Saga T36 [Urban Comics]
French | CBR | 24 pages | 18.8 MB