Recherche

Temporal Logic, Omniscience, Human Freedom - Perspectives in Analytic Philosophy

Dossiers

ActuaLitté

Dossier

Hold-up 21: Un voyage littéraire et photographique du désir

Vingt femmes extraordinaires, couvrant des horizons aussi vastes que la réalisation, la poésie, le journalisme et la chorégraphie, se sont rassemblées autour d'une mission : revaloriser l'érotisme dans la littérature tout en intégrant les perspectives féministes actuelles.

ActuaLitté

Dossier

Les Contes des coeurs perdus

Les Contes des cœurs perdus est une collection enchanteresse créée par le scénariste Loïc Clément, dans un univers mélangeant réalité et fantastique.

ActuaLitté

Dossier

Un titan littéraire : découvrir les livres d'Henry James

Henry James est né le 15 avril 1843 à New York, au sein d'une famille aisée d'intellectuels. Son père, Henry James Sr., était un éminent théologien et philosophe, offrant au jeune James un environnement nourri de débats intellectuels dès son plus jeune âge.

ActuaLitté

Dossier

Nos horizons désirables : le livre a rendez-vous avec son avenir

Devant les défis importants du domaine du livre, les experts et volontaires s'engagent activement. L'Agence coordonne les Rencontres régionales du livre et de la lecture dans la région des Hauts-de-France, un événement visant à collaborer pour façonner l'avenir du secteur et envisager des perspectives prometteuses.

ActuaLitté

Dossier

Lire en Poche 2022 : Un autre monde

Rendez-vous incontournable de la rentrée littéraire, Lire en Poche, organisé par la ville de Gradignan, accueille près de 27.000 visiteurs et plus de 100 auteurs, dont un tiers d’auteurs jeunesse qui rencontre son public également dans le cadre scolaire. L'édition 2022 se déroule du 7 au 9 octobre.

ActuaLitté

Dossier

Comprendre la chaîne du livre : quels métiers pour l'édition ?

Dans la perspective d’accompagner les étudiants en formation aux métiers du livre, Corinne Abensour, Directrice des Masters d’édition à l'université Sorbonne Paris Nord, a organisé un cycle d’entretiens avec des professionnels. Menés en partenariat avec ActuaLitté, dans un format inédit de podcasts, ils proposent de confronter les auditeurs aux réalités des professions. Et de la sorte, de leur apporter un retour d’expérience immédiat.

Extraits

ActuaLitté

Non classé

Temporal Logic, Omniscience, Human Freedom - Perspectives in Analytic Philosophy

The work shows the usefulness and limitation of modern logic in the study of traditional metaphysical problems. As is the usual case in all criticism of analytic philosophers against traditional philosophy, word usage must be limited to what the human mind can know. The notion of timeless knowledge for example contradicts our normal mode of word usage and cannot serve as adequate in reference to knowledge be it that of man or of God. If timeless knowledge applied to divine mode of knowing then there cannot be human freedom.

09/1991

ActuaLitté

Littérature étrangère

Omniscience

Confession d'un data scientist, Omniscience est un roman futuriste et métaphysique qui dresse, non sans dérision, un portrait au vif de la civilisation des données.

08/2017

ActuaLitté

Droit

Logic: Mathematics, Language, Computer Science and Philosophy

In Logic Programming (25 and 26) the language of logic is used as a declarative programming language. Prolog uses resolution as its underlying proof mechanism. The logical structure of relational databases is explained (27) in set theoretical terms and it is shown how the language of set theory can be used as a Structured Query Language (SQL). Computability, Undecidability and Complexity are treated in sections 28, 29, and 30, respectively, in terms of Turing machines. The undecidability of the validity problem for predicate logic and the NP-completeness of the satisfiability problem for propositional logic are shown in a similiar way. Chomsky's notion of grammar and its relation to the notion of automation is presented in section 31. Both untyped and typed lambda calculus are treated in sections 32 and 33, respectively. The role epistemic logic can play in the description of distributed systems is explained (34). In section 35 and 36, temporal logic is used both for verification by hand and for automatic verification. A tableaux-based automated theorem prover for classical logic is elaborated in the Appendix. Each section ends with a number of exercises ; the answers can be found at the end of this book.

05/1994

ActuaLitté

Littérature étrangère

Freedom

Patty a décidé une fois pour toutes d’être la femme idéale. Mère parfaite, épouse aimante et dévouée, cette ex-basketteuse ayant un faible pour les bad boys a fait, en l’épousant, le bonheur de Walter Berglund, de St. Paul (Minnesota). A eux deux, ils forment le couple « bobo » par excellence. En devenant madame Berglund, Patty a renoncé à bien des choses, et d’abord à son amour de jeunesse, Richard Katz, un rocker dylanien qui se trouve être aussi le meilleur ami de Walter. Freedom raconte l’histoire de ce trio, et capture le climat émotionnel, politique et moral des Etats-Unis de ces 30 dernières années, dans une tragi-comédie d’une incroyable virtuosité. Comment vivre ? Comment s’orienter dans une époque qui semble devenue folle ? Jonathan Franzen relève le défi et tente de répondre à cette question, avec cette histoire d’un mariage d’une implacable cruauté. Freedom a bénéficié dès sa sortie d’une rumeur très favorable, et même avant, lorsque le magazine TIME daté du 23 août a consacré sa couverture à Jonathan Franzen (cela faisait tout juste 10 ans qu’un écrivain avait connu une telle visibilité). La presse a tout de suite embrayé, avec des comptes-rendus enthousiastes, notamment Michiko Kakutani, la redoutée critique du New York Times. Et Oprah Winfrey a (finalement!) invité l’auteur à son show, qui est l’émission la plus regardée aux U.S.A.

ActuaLitté

Littérature anglo-saxonne

Freedom

"Un monument ! " L'Obs "Le great American novelist, c'est lui ! " L'Express Faire le choix du confort ou celui de l'aventure ? Patty renonce à Richard, un bad boy qui l'attire irrémédiablement, pour Walter avec qui elle construit une vie bien rangée : un mariage, une maison dans un beau quartier et des enfants. Puis Walter s'investit corps et âme dans un projet écologique, laissant Patty submergée par un quotidien ennuyant. Richard réapparaît de manière épisodique, ce qui renvoie Patty à ses choix de vie qu'elle ne cesse de questionner. En interrogeant le couple et la famille américaine moyenne, Jonathan Franzen démythifie l'image parfaite qu'on a vendue à sa génération, par la suite confrontée à des désillusions. Né à Western Springs (Illinois) en 1959, Jonathan Franzen s'est imposé comme l'un des plus grands écrivains américains de notre temps. Il est notamment l'auteur des Corrections, de La Vingt-Septième Ville, de Purity et de Crossroads, tous disponibles chez Points. Traduit de l'anglais (Etats-Unis) par Anne Wicke

09/2023

ActuaLitté

Architecture

Freedom

Au coeur de la Porte Maillot, Freedom offre un nouveau signal urbain emblématique de la dynamique de revitalisation que connaît cette entrée ouest de Paris. La restructuration lourde d'un élégant mais ancien paquebot tertiaire des années 1960 par PCA-STREAM, sous maîtrise d'ouvrage AXA IM Alts et VINCI Immobilier pour le pilotage du projet technique, y répond à un enjeu plus large de réinvention de la ville sur elle-même. Comment transformer un patrimoine emblématique d'une modernité passée pour l'adapter aux enjeux environnementaux contemporains et à l'évolution des modes de vie et de travail des jeunes générations ? En s'appuyant sur une réflexion collective autour des usages, le bâtiment a été intégralement repensé pour offrir des espaces ultra-flexibles favorisant l'échange, l'intelligence collective et le bien-être des usagers. En s'inspirant la rigueur rationaliste du bâtiment d'origine, Freedom développe depuis la Porte Maillot une écriture architecturale contemporaine et minimaliste, couronnée par une galerie vitrée exceptionnelle ouverte sur le bois de Boulogne. Au sud, l'ensemble découvre un visage plus domestique, en accord avec son environnement immédiat, via une façade en courbes et contre-courbes végétalisées donnant sur un jardin agréable et vivant, qui participe au renforcement de la biodiversité du quartier dans un nouveau dialogue ville-nature.

06/2022

Tous les articles

ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté