cloud_upload
Publish
clear
Read anywhere, anytime
expand_more
Français
About us
Discover our Services
Publish your documents
Our Catalogue
Books
Audiobooks
Comics
Press
Documents
Education
Login
#ecole-polytechnique
169 Books
tune
Advanced Filters
English
expand_more
All Languages
Français
English
Español
Italiano
Most Read
expand_more
Alphabetic order
Most Read
Recently Added
ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE
SERGE VAUDENAY
29 Pages
B8 F BACCELLI and B BLASZCZYSZYN “Spatial Modeling of Wireless Communica tions A Stochastic Geometry Approach” Foundations and Trends in Networking NOW Publishers
11 Pages
D c t i v i t y
INRIA, Project-Team TREC
23 Pages
D c t i v i ty
INRIA, Project-Team TREC
28 Pages
Varieties of Static Analyzers: A Comparison with ASTREE
FIRST LAST
15 Pages
THE KUNNETH FORMULA IN FLOER HOMOLOGY FOR MANIFOLDS WITH RESTRICTED CONTACT TYPE
21 Pages
De Lecomte–Roger a Monge–Ampere From Lecomte–Roger to Monge–Ampere
YVETTE KOSMANN - SCHWARZBACH
42 Pages
Counting occurrences for a finite set of words: an inclusion exclusion approach
PIERRE NICODEME
35 Pages
Global existence and uniqueness of solutions for the equations of third grade fluids
VALENTINA BUSUIOCA
16 Pages
Self Similar Solutions for Navier Stokes Equations in R
16 Pages
The timing of licensing: theory and empirics
38 Pages
Integrated Management of Energy and Production: Scheduling of Batch Process and Combined Heat & Power (CHP) Plant
ALEXANDRE DOLGUI
255 Pages
Jam7 Seminaire Equations aux Derivees Partielles Ecole Polytechnique fevrier expose no XV
PHILIPPE JAMING
14 Pages
Jam7 Seminaire Equations aux Derivees Partielles Ecole Polytechnique fevrier expose no XV
PHILIPPE JAMING
14 Pages
Diphasic equilibrium and chemical engineering
4 Pages
Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule based models
79 Pages
Continuity of optimal transport maps and convexity of injectivity domains
LAURENT SCHWARTZ
30 Pages
On the Relevance of Negative Results1 Giuseppe Longo CNRS et Dépt d'Informatique École Normale Supérieure Paris et CREA École Polytechnique http: www di ens fr users longo Abstract The access to scientific knowledge is a construction of objectivity which needs the critical insight of “negative results” These consist in the explicit construction of internal limits to current theories and methods We shall hint to the role of some results which in Logic in Physics or Computing opened up new areas for knowledge by saying “No we cannot compute this we cannot decide that The idea is that both the sciences of life and of cognition in particular in connection to Mathematics and Computing need similar results in order to set limits to the passive transfer of physico mathematical methods into their autonomous construction of knowledge and open the way to new tools and perspectives We will compare this perspective with the requirement both at the national and European levels to finalize most all research activities into foreseeable industrial applications Scientific knowledge and critical insight The analysis of concepts conducted on a comparative level if possible as well as the tentative explanation of the philosophical project should always accompany scientific work In fact critical reflections regarding existing theories are at the core of positive scientific constructions because science is often constructed against the supposed tyranny and autonomy of “facts” which in reality are nothing but “small scale theories” Science is also often constructed by means of an audacious interpretation of “new” and old facts it progresses against the obvious and against common sense le “bon sens” it struggles against the illusions of immediate knowledge and must be capable of escaping from already established theoretical frameworks For example the very high level of mathematical technicity in the geometry of Ptolemaic epicycles constructed from clearly observable facts strongly perplexed numerous Renaissance thinkers such as ...
GIUSEPPE LONGO
9 Pages
Mathematical intuition and the cognitive roots of mathematical concepts1 Giuseppe Longo Arnaud Viarouge CNRS et Ecole Normale Superieure Psychology and Human Development Dpt et CREA Ecole Polytechnique Paris Fr Peabody College Vanderbilt University http: www di ens fr users longo Nashville TN USA Abstract The foundation of Mathematics is both a logico formal issue and an epistemological one By the first we mean the explicitation and analysis of formal proof principles which largely a posteriori ground proof on general deduction rules and schemata By the second we mean the investigation of the constitutive genesis of concepts and structures the aim of this paper This genealogy of concepts so dear to Riemann Poincaré and Enriques among others is necessary both in order to enrich the foundational analysis by this too often disregarded aspect the cognitive and historical constitution of mathematical structures and because of the provable incompleteness of proof principles also in the analysis of deduction For the purposes of our investigation we will hint here to the philosophical frame as well as to the some recent advances in Cognition that support our claim the cognitive origin and the constitutive role of mathematical intuition From Logic to Cognition Over the course of the XXth century the relationships between Philosophy and Mathematics have been dominated by Mathematical Logic A most interesting area of Mathematics which from onwards year of one of the major mathematical results of the century Gödelian Incompleteness enjoyed the double status of a discipline that is both technically profound and philosophically fundamental From the foundational point of view Proof Theory constituted its main aspect also on account of other remarkable results Ordinal Analysis after Gentzen Type Theory in the manner of Church Gödel Girard various forms of incompleteness independence in Set Theory and Arithmetics and produced spin offs which are in the course of changing the world: the functions for the computation of proofs ...
GIUSEPPE LONGO
18 Pages
THEOREMS AS CONSTRUCTIVE VISIONS1 Giuseppe Longo CNRS Ecole Normale Supérieure et CREA Ecole Polytechnique Rue D'Ulm Paris France http: www di ens fr users longo Abstract This paper briefly reviews some epistemological perspectives on the foundation of mathematical concepts and proofs It provides examples of axioms and proofs from Euclid to recent “concrete incompleteness” theorems In reference to basic cognitive phenomena the paper focuses on order and symmetries as core “construction principles” for mathematical knowledge A distinction is then made between these principles and the “proof principles” of modern Mathemaical Logic The role of the blend of these different forms of founding principles will be stressed both for the purposes of proving and of understanding and communicating the proof THE CONSTRUCTIVE CONTENT OF EUCLID'S AXIOMS From the time of Euclid to the age of super computers Western mathematicians have continually tried to develop and refine the foundations of proof and proving Many of these attempts have been based on analyses logically and historically linked to the prevailing philosophical notions of the day However they have all exhibited more or less explcitly some basic cognitive principles for example the notions of symmetry and order Here I trace some of the major steps in the evolution of notion of proof linking them to these cognitive basics For this purpose let's take as a starting point Euclid's Aithemata Requests the minimal constructions required to do geometry: Invited lecture ICMI conference on Proof and Proving Taipei Taiwan May Hanna de Villiers eds Springer
GIUSEPPE LONGO
19 Pages
BASIC CONCEPTS OF ABSTRACT INTERPRETATION
PATRICK COUSOT
8 Pages
Patrick Cousot LIENS École Normale Supérieure
PATRICK COUSOT
38 Pages
1Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation Patrick Cousot
PATRICK COUSOT
11 Pages
1Abstract Interpretation Based Program Testing Patrick Cousot
PATRICK COUSOT
10 Pages
Factoring Partial Differential Systems in Posi tive Characteristic
27 Pages
ASTRÉE: VERIFICATION OF ABSENCEOF RUN TIME ERROR
LAURENT MAUBORGNE
8 Pages
High order time space implicit discontinous Galerkin method with reduced evaluation costs
FLORENT RENAC
30 Pages
Numerical Investigation of Particle Laden Thermally Driven Turbulent Flows in Enclosure
PAUL SCHERRER
44 Pages
EPE Newsletter October
Brigitte
3 Pages
Diophantine tori and spectral asymptotics for non selfadjoint operators
MICHAEL HITRIK
81 Pages
1
2
3
4
5
6
2
Advanced Filters
By Cateogry
All Categories
Documents
By SubTheme
All SubThemes
Internship reports
Tuition
University
By Required Reading Time
Any reading time
Less than 30 minutes
30 - 60 minutes
1 - 2 hours
Over 2 hours
Confirm
Home
Books
Audiobooks
Press
Comic books
Documents
Education
en
expand_more
Français
Alphabetic order
Most Read
Recently Added
expand_more
tune
Advanced Filters