CALEIDOSCOPE—COMPLEXITY AS A KALEIDOSCOPE A RESEARCH SCHOOL ON COMPUTATIONAL COMPLEXITY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré, Paris, France June 17th–21st, 2019

2020 ◽  
Vol 26 (1) ◽  
pp. 93-93
Keyword(s):  
Computational Complexity ◽  
Symbolic Logic ◽  
Henri Poincaré ◽  
Research School

American Logic in the 1920s

1995 ◽  
Vol 1 (3) ◽  
pp. 273-278 ◽  
Author(s):  
Martin Davis
Keyword(s):  
United States ◽  
Mathematical Logic ◽  
New Jersey ◽  
The United States ◽  
True Proposition ◽  
Cutting Edge ◽  
Symbolic Logic ◽  
Henri Poincaré ◽  
Alan Turing ◽  
World Center

In 1934 Alonzo Church, Kurt Gödei, S. C. Kleene, and J. B. Rosser were all to be found in Princeton, New Jersey. In 1936 Church founded The Journal of Symbolic Logic. Shortly thereafter Alan Turing arrived for a two year visit. The United States had become a world center for cutting-edge research in mathematical logic. In this brief survey1 we shall examine some of the writings of American logicians during the 1920s, a period of important beginnings and remarkable insights as well as of confused gropings.The publication of Whitehead and Russell's monumental Principia Mathematica [18] during the years 1910-1913 provided the basis for much of the research that was to follow. It also provided the basis for confusion that remained a factor during the period we are discussing. In 1908, Henri Poincaré, a famous skeptic where mathematical logic was concerned, wrote pointedly ([13]):It is difficult to admit that the word if acquires, when written ⊃, a virtue it did not possess when written if.Principia provided no very convincing answer to Poincaré. Indeed the fact that the authors of Principia saw fit to place their first two “primitive propositions”*1.1: Anything implied by a true proposition is true.*1.2: ⊢ p ⋁ p ⊃ punder one and the same heading suggest that they had thought of what they were doing as just such a translation as Poincare had derided.

Una giornata di studio su Henri Poincaré

2015 ◽  
pp. 881-884
Author(s):  
Faracovi Ornella Pompeo
Keyword(s):  
Henri Poincaré

Bipolar Abstract Argumentation with Dual Attacks and Supports

2020 ◽  
Author(s):  
Nico Potyka
Keyword(s):  
Computational Complexity ◽  
Decision Problems ◽  
Abstract Argumentation ◽  
Stable Semantics ◽  
Support Relations ◽  
Support Relationships ◽  
Computational Properties ◽  
Inherent Tendency

Bipolar abstract argumentation frameworks allow modeling decision problems by defining pro and contra arguments and their relationships. In some popular bipolar frameworks, there is an inherent tendency to favor either attack or support relationships. However, for some applications, it seems sensible to treat attack and support equally. Roughly speaking, turning an attack edge into a support edge, should just invert its meaning. We look at a recently introduced bipolar argumentation semantics and two novel alternatives and discuss their semantical and computational properties. Interestingly, the two novel semantics correspond to stable semantics if no support relations are present and maintain the computational complexity of stable semantics in general bipolar frameworks.

The Founding Attempts of the Literary Historian. Solitudes, Singularities, Exemplarities

2020 ◽  
Vol 25 (2) ◽  
pp. 385-398
Author(s):  
Ioana Bot
Keyword(s):  
Literary History ◽  
Scientific Journal ◽  
Literary Studies ◽  
Research School ◽  
Critical Editions

The present study reviews D. Popovici’s founding attempts in the field of literary history. It pursues his activity along four axes: critical editions of modern Romanian authors, studies in literary history, university lectures and “Studii literare” [Literary Studies], the scientific journal he founded as a professor of Cluj University. Both original and modern in his theoretic, methodologic as well as academic options, Popovici is a founder of institutions and initiator of a research school. His scientific projects are singular in their scope. Yet his critic posterity destines him to an unwarranted “singularity”. Our reflection focuses upon the exemplary elements in the scholar’s destiny.

Sign in / Sign up

Export Citation Format

Share Document