DOCSLIB.ORG

The Myths About the Constitution It Is a Myth That Norwegian Democracy Rests Safely on the Constitution from 1814

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Myths About the Constitution � It Is a Myth That Norwegian Democracy Rests Safely on the Constitution from 1814 Centre for Advanced Study Newsletter no. 1 G May 2002 G 10th year The Myths about the Constitution I It is a myth that Norwegian democracy rests safely on the Constitution from 1814. In reali- ty the Constitution does not protect central political rights such as the freedom of associ- ation, the freedom of assembly, the freedom to demonstrate and the right to strike. I "In practical political life Nor- way protects human rights to a far greater degree than follows from the Constitution. Let’s hope that things continue that way," say the experts on the Constitution, Eivind Smith and Bjørn Erik Rasch. Pages 4-5 The lions in front of the Storting are guarding Norwegian democracy and the proud Norwegian Constitution – which looks more like a little pussycat Mathematics is older than the Greeks "Pythagoras and the Gre- eks have been given undeservedly much of the credit for having invented classical mathematics. Many of their ideas can be traced back to anonymous Mesopotamian mathema- The Genius and ticians," says Professor Jöran Friberg (picture). the Grammar The proof is to be found in such places as on the School Teacher small tablets of clay in the The Norwegian mathematician Niels Henrik Schøyen Collection. Abel (right) became world-famous in 1824. Ludwig Sylow (left) is one among Norwegian Pages 4-5 mathematicians who assumed the mantle after Abel. Pages 2-3 Mathematical growth in Abel’s footsteps Niels Henrik Abel was one of the greatest mathematical geniuses the world has ever fostered, and this year’s 200th jubilee is being used to mark his achievement. It is not quite so well known that along the path Abel left behind him there was flourishing growth of considerable importance. "You don’t have to open many textbooks in pletely but not managed to complete the writing. called Lie groups. They are to this day a cen- advanced mathematics before you come Sylow worked a great deal on interpretati- tral object of mathematical research and a across Axel Thue’s theorem, Sophus Lie’s ons and improvements of Abel’s works, and central aid in theoretical physics. groups or Ludvig Sylow’s theories. As a nati- was concerned with elliptical functions and In the 1890s he was ill a great deal. The on Norway was over-represented with out- theories of equations. But it was first and writer Bjørnstjerne Bjørnson took the initiati- standing mathematicians at the end of the foremost a publication from 1872, with des- ve to have a professorship established for him 19th century," says Geir Ellingsrud, who is a criptions of the three Sylow theorems within in Oslo, and in 1898 Lie moved home. But he professor of Mathematics at the University of group theory, which made him immortal. was at that time seriously ill with pernicious Oslo and a member of this year’s research Sylow was never given an appointment at anaemia and he died in the early part of 1899. group in mathematics at the CAS. the University of Kristiania, but remained a "Also Thoralf Skolem, Viggo Brun, Ernst secondary school teacher at Fredrikshald Axel Thue Selmer, Vilhelm Ljunggren and not least Sel- (Halden) for 40 years from 1858. He was (1863 – 1922) berg made important contributions to the Gol- granted leave to undertake a study tour to Axel Thue wor- den Age of number theory," says Ellingsrud. Paris and Berlin in 1861, to substitute for ked on number Broch in the period 1862-1863, and to edit theory, logic, A systematic development Abel’s works in co-operation with Sophus Lie geometry and Professor Jens Erik Fenstad in the Depart- from 1873 to 1877. In 1894 he was made a mechanics. He is ment of Mathematics at the University of doctor honoris causa of the University of most famous for Oslo agrees that Norway has fostered unusu- Copenhagen, and in 1898 the Storting nomi- his works on ally many outstanding mathematicians. "On nated him professor extraordinary with an arithmetical pro- both sides of the year 1900 we had many mat- emolument of 3000 kroner per year instead of perties of alge- hematicians who were right at the top of the his secondary school teacher’s pension. braic numbers, international research league, but on the other and theorems of hand we had no profession around them. The Marius the (un)solvability of Diophantine equations, great change came after the Second World Sophus Lie i.e. equations where the solution is a whole War, when a more systematic development (1842-1899) number. He is also famous for his pioneer was started. Today we don’t perhaps have Sophus Lie deve- work on what he called "Zeichenreihen" or many researchers in the forefront internatio- loped original "word problems". nally, but what we have got is a broad profes- and innovative Thue was known to go his own ways, and sion with points of impact in many areas of theories for he preferred developing his own ideas to Norwegian society, says Professor Fenstad. transformations making a study of other people’s works. He of geometrical became a teacher at the Institute of Technolo- Peter Ludvig objects (lines, gy in Trondheim in 1894 and in 1903 he Meidell spherical surfa- became Professor of Applied Mathematics in Sylow (1832- ces etc) and for Oslo. 1918) the integration of Thue thoroughly reformed the lectures on Ludvig Sylow ordinary and partial differential equations. He mechanics. It is said that he dictated his lectu- qualified as a was appointed as an extraordinary professor res, stopped at the nearest comma immediate- teacher of scien- at the University of Oslo in 1872, and in 1886 ly the time was up, and carried on from there ce and mathema- he became a professor in Leipzig as the on the next occasion. tics in 1856 and famous mathematician Felix Klein’s succes- became a pupil sor. The point of departure for Lie’s works Thoralf Albert Skolem of Ole Jacob was his own and Klein’s idea that geometry (1887 – 1963) Broch, who star- and analysis ought to be built up around the Thoralf Skolem published as many as 177 ted him off on concept of group, as Galois had built up his papers in the course of his long career. The Abel’s works. Sylow became extremely con- theory of algebraic equations. Lie made a stu- most important of his works were done within cerned with an unfinished Abel manuscript on dy of differential equations from this point of logic and Diophantine equations. the theory of equations, and he gradually docu- view and built up a general theory of "trans- Skolem obtained his doctoral degree in mented that Abel had solved the problem com- formation groups" or what have since been 1926 for a work on integral solutions of cer- 2 Newsletter no. 1 G May 2002 G 10th year tain algebraic equations and inequalities. Then he was a resear- cher at the Chris- tian Michelsen Institute in Bergen from 1930 to 1938, after which he became a professor in Oslo. When he reached the age of retirement in 1957 he was for a couple of years Visiting Professor at Notre Dame Uni- versity in the United States. His works in logic broke new ground (inter alia the "Skolem-Löwenheim Theorem"), and his results with respect to Diophantine equati- ons and the "Skolem-Nöther Theorem" in algebra are outstanding. His commitment to his work led among other things to his being commissioned to write about Diophantine equations for the German Springer-Verlag’s series Ergebnisse der Mathematik, and to- gether with Viggo Brun he edited the second impression of Eugen Netto’s Lehrbuch der Kombinatorik. Viggo Brun (1885 – 1978) Viggo Brun is best known for his work on prime number theory, but he also made a great contribution within continued fractions, generali- sations and combi- natorics. Among other things he developed a famous sieve met- hod, which he later used to develop two hypotheses in number theory that had previ- ously been considered impossible to prove. One of these hypotheses had been formulated by Goldbach and stated that every even num- An outstanding number theorist ber can be written as a sum of two odd prime numbers. Atle Selberg (born 1917) is considered appointed a professor in 1951. The sieve method has been taken further by to be one of the world’s most outstanding Selberg is also famous for his elementary among others Gelfond in Moscow and Atle number theorists of all times. His most proof of the prime number theorem, with its Selberg at Princeton and it has shown itself to famous work is his elaboration of what is generalisation to prime numbers in a random be very effective. Brun was also interested in known as Selberg’s trace formula. Selberg’s arithmetical series. When Selberg’s collected the history of mathematics, and in 1952 he doctorate from 1943 with amplifications on papers were published in 1989 and 1991, the found the lost manuscript of Abel’s Paris dis- what is called the Riemann zeta function critics were in agreement that the author is a sertation in a library in Florence. remained for at least 30 years as the most out- living classic who has exerted considerable in- He was made a professor at the Norwegian standing work within its field. fluence on his subject for more than 50 years. College of Advanced Technology in Trond- Selberg took his doctoral degree at the Uni- heim in 1924, and in 1945 he moved to Oslo versity of Oslo and became a research fellow where he worked until he reached retirement in 1942.
Load more

Recommended publications
  • Oslo 2004: the Abel Prize Celebrations
    NEWS OsloOslo 2004:2004: TheThe AbelAbel PrizePrize celebrationscelebrations Nils Voje Johansen and Yngvar Reichelt (Oslo, Norway) On 25 March, the Norwegian Academy of Science and Letters announced that the Abel Prize for 2004 was to be awarded to Sir Michael F. Atiyah of the University of Edinburgh and Isadore M. Singer of MIT. This is the second Abel Prize awarded following the Norwegian Government’s decision in 2001 to allocate NOK 200 million to the creation of the Abel Foundation, with the intention of award- ing an international prize for outstanding research in mathematics. The prize, amounting to NOK 6 million, was insti- tuted to make up for the fact that there is no Nobel Prize for mathematics. In addi- tion to awarding the international prize, the Foundation shall contribute part of its earnings to measures for increasing inter- est in, and stimulating recruitment to, Nils Voje Johansen Yngvar Reichelt mathematical and scientific fields. The first Abel Prize was awarded in machine – the brain and the computer, break those rules creatively, just like an 2003 to the French mathematician Jean- with the subtitle “Will a computer ever be artist or a musical composer. Pierre Serre for playing a key role in shap- awarded the Abel Prize?” Quentin After a brief interval, Quentin Cooper ing the modern form of many parts of Cooper, one of the BBC’s most popular invited questions from the audience and a mathematics. In 2004, the Abel radio presenters, chaired the meeting, in number of points were brought up that Committee decided that Michael F. which Sir Michael spoke for an hour to an Atiyah addressed thoroughly and profes- Atiyah and Isadore M.
    [Show full text]
  • Model Theory, Arithmetic & Algebraic Geometry
    MODEL THEORY, ARITHMETIC & ALGEBRAIC GEOMETRY JOEL TORRES DEL VALLE 1. LANGUAGES AND STRUCTURES. 1.1. What is Model Theory? Model Theory is the study of the relationship between theories and mathematical struc- tures which satisfies them [11]. Model Theory introduces Mathematical Logic in the prac- tice of Universal Algebra, so we can think it like Model Theory = Universal Algebra + Mathematical Logic. I started this pages with the same question Chang-Keisler started their celebrated book [3]: ‘What is Model Theory?’ They also summarize the answer to the equation above. In this pages I summarize the relationship between Model Theory, Arithmetic and Algebraic Geometry. The topics will be the basic ones in the area, so this is just an invitation, in the presentation of topics I mainly follow the philosophy of the references, my basic reference is [9]. The early pioneers in Model Theory were Leopold L¨owenheim in 1915, in his work ‘Uber¨ M¨oglichkeiten im Relativkalk¨ul’1 there he proved that if a first order theory T that has an infinite model then has a countable model. Thoralf Skolem in 1920 proved a second version of L¨owenheim result, in his work ‘Logisch-kombinatorische Untersuchungen ¨uber die Erf¨ullbarkeit oder Beweisbarkeit mathematischer S¨atze nebst einem Theoreme ¨uber dichte Mengen’2. Kurt G¨odel in 1930 proved his Completeness and Compactness Theorems for countable languages in his Doctoral dissertation at the University of Viena titled ‘Die Vollst¨andigkeit der Axiome des logischen Funktionenkalk¨uls’3. Alfred Tarski in 1931
    [Show full text]
  • The History of the Abel Prize and the Honorary Abel Prize the History of the Abel Prize
    The History of the Abel Prize and the Honorary Abel Prize The History of the Abel Prize Arild Stubhaug On the bicentennial of Niels Henrik Abel’s birth in 2002, the Norwegian Govern- ment decided to establish a memorial fund of NOK 200 million. The chief purpose of the fund was to lay the financial groundwork for an annual international prize of NOK 6 million to one or more mathematicians for outstanding scientific work. The prize was awarded for the first time in 2003. That is the history in brief of the Abel Prize as we know it today. Behind this government decision to commemorate and honor the country’s great mathematician, however, lies a more than hundred year old wish and a short and intense period of activity. Volumes of Abel’s collected works were published in 1839 and 1881. The first was edited by Bernt Michael Holmboe (Abel’s teacher), the second by Sophus Lie and Ludvig Sylow. Both editions were paid for with public funds and published to honor the famous scientist. The first time that there was a discussion in a broader context about honoring Niels Henrik Abel’s memory, was at the meeting of Scan- dinavian natural scientists in Norway’s capital in 1886. These meetings of natural scientists, which were held alternately in each of the Scandinavian capitals (with the exception of the very first meeting in 1839, which took place in Gothenburg, Swe- den), were the most important fora for Scandinavian natural scientists. The meeting in 1886 in Oslo (called Christiania at the time) was the 13th in the series.
    [Show full text]
  • Henkin's Method and the Completeness Theorem
    Henkin's Method and the Completeness Theorem Guram Bezhanishvili∗ 1 Introduction Let L be a first-order logic. For a sentence ' of L, we will use the standard notation \` '" for ' is provable in L (that is, ' is derivable from the axioms of L by the use of the inference rules of L); and \j= '" for ' is valid (that is, ' is satisfied in every interpretation of L). The soundness theorem for L states that if ` ', then j= '; and the completeness theorem for L states that if j= ', then ` '. Put together, the soundness and completeness theorems yield the correctness theorem for L: a sentence is derivable in L iff it is valid. Thus, they establish a crucial feature of L; namely, that syntax and semantics of L go hand-in-hand: every theorem of L is a logical law (can not be refuted in any interpretation of L), and every logical law can actually be derived in L. In fact, a stronger version of this result is also true. For each first-order theory T and a sentence ' (in the language of T ), we have that T ` ' iff T j= '. Thus, each first-order theory T (pick your favorite one!) is sound and complete in the sense that everything that we can derive from T is true in all models of T , and everything that is true in all models of T is in fact derivable from T . This is a very strong result indeed. One possible reading of it is that the first-order formalization of a given mathematical theory is adequate in the sense that every true statement about T that can be formalized in the first-order language of T is derivable from the axioms of T .
    [Show full text]
  • The Z of ZF and ZFC and ZF¬C
    From SIAM News , Volume 41, Number 1, January/February 2008 The Z of ZF and ZFC and ZF ¬C Ernst Zermelo: An Approach to His Life and Work. By Heinz-Dieter Ebbinghaus, Springer, New York, 2007, 356 pages, $64.95. The Z, of course, is Ernst Zermelo (1871–1953). The F, in case you had forgotten, is Abraham Fraenkel (1891–1965), and the C is the notorious Axiom of Choice. The book under review, by a prominent logician at the University of Freiburg, is a splendid in-depth biography of a complex man, a treatment that shies away neither from personal details nor from the mathematical details of Zermelo’s creations. BOOK R EV IEW Zermelo was a Berliner whose early scientific work was in applied By Philip J. Davis mathematics: His PhD thesis (1894) was in the calculus of variations. He had thought about this topic for at least ten additional years when, in 1904, in collaboration with Hans Hahn, he wrote an article on the subject for the famous Enzyclopedia der Mathematische Wissenschaften . In point of fact, though he is remembered today primarily for his axiomatization of set theory, he never really gave up applications. In his Habilitation thesis (1899), Zermelo was arguing with Ludwig Boltzmann about the foun - dations of the kinetic theory of heat. Around 1929, he was working on the problem of the path of an airplane going in minimal time from A to B at constant speed but against a distribution of winds. This was a problem that engaged Levi-Civita, von Mises, Carathéodory, Philipp Frank, and even more recent investigators.
    [Show full text]
  • Classical Metalogic an Introduction to Classical Model Theory & Computability
    Classical Metalogic An Introduction to Classical Model Theory & Computability Notes by R.J. Buehler January 5, 2015 2 Preface What follows are my personal notes created in preparation for the UC-Berkeley Group in Logic preliminary exam. I am not a computability theorist, nor a model theorist; I am a graduate student with some knowledge who is–alas–quite fallible. Accordingly, this text is made available as a convenient reference, set of notes, and summary, but without even the slight hint of a guarantee that everything contained within is factual and correct (indeed, some areas are entirely unchanged from the moment I copied them off the blackboard). This said, if you find a serious error, I would greatly appreciate it if you would let me know so that it can be corrected. The material for these notes derives from a wide variety of sources: Lectures by Wes Holliday Lectures by Antonio Montalban Lectures by John Steel Kevin Kelly’s computability theory notes David Marker’s “Model Theory: An Introduction” Wilfrid Hodge’s “A Shorter Model Theory” Robert Soare’s “Recursively Enumerable Sets and Degrees" Richard Kaye’s “Models of Peano Arithmetic” Chang and Keisler’s “Model Theory" While I certainly hope my notes are beneficial, if you’re attempting to learn the contained material for the first time, I would highly suggest picking up (at least) a copy of Marker and Soare’s texts in addition. To those Group in Logic students who may be using these notes to help themselves prepare for their preliminary exam, chapters 1-5, 7, and 9-18 contain relevant material, as well as chapter 8, section 3.
    [Show full text]
  • A NEW L¨OWENHEIM-SKOLEM THEOREM 1. Introduction The
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 357, Number 5, Pages 1693–1715 S 0002-9947(04)03445-2 Article electronically published on December 16, 2004 ANEWLOWENHEIM-SKOLEM¨ THEOREM MATTHEW FOREMAN AND STEVO TODORCEVIC Abstract. This paper establishes a refinement of the classical L¨owenheim- Skolem theorem. The main result shows that any first order structure has a countable elementary substructure with strong second order properties. Sev- eral consequences for Singular Cardinals Combinatorics are deduced from this. 1. Introduction The L¨owenheim-Skolem Theorem [21] is one of the classical and formative results of first order logic. Its consequences have been important technically in the devel- opment of Model Theory, Set Theory and interesting from the point of view of the Philosophy of Mathematics [16]. In this paper we improve the L¨owenheim-Skolem Theorem and deduce important combinatorial consequences from the stronger ver- sion. There have been many attempts to improve and generalize properties of first order logic to stronger logics. The literature is much too large to survey here. One property that defines first order logic is the fact that every infinite structure in a countable language has a countable elementary substructure. This is not true of many stronger logics such as second order logic. In particular, in the classical L¨owenheim-Skolem theorem, one has no control over the second order properties of the elementary substructure. In this paper we prove that if one fixes in advance a collection of “intervals” around each point in a particular domain κ (e.g. a club guessing ladder system), then for all real numbers r and all structures A with domain κ, there is a countable elementary substructure of A that has non-empty intersection with exactly those intervals specified by r.
    [Show full text]
  • Foundations of Mathematics from the Perspective of Computer Verification
    Foundations of Mathematics from the perspective of Computer Verification 8.12.2007:660 Henk Barendregt Nijmegen University The Netherlands To Bruno Buchberger independently of any birthday Abstract In the philosophy of mathematics one speaks about Formalism, Logicism, Platonism and Intuitionism. Actually one should add also Calculism. These foundational views can be given a clear technological meaning in the context of Computer Mathematics, that has as aim to represent and manipulate arbitrary mathematical notions on a computer. We argue that most philosophical views over-emphasize a particular aspect of the math- ematical endeavor. Acknowledgment. The author is indebted to Randy Pollack for his stylized rendering of Formalism, Logicism and Intuitionism as foundational views in con- nection with Computer Mathematics, that was the starting point of this paper. Moreover, useful information or feedback was gratefully received from Michael Beeson, Wieb Bosma, Bruno Buchberger, John Harrison, Jozef Hooman, Jesse Hughes, Bart Jacobs, Sam Owre, Randy Pollack, Bas Spitters, Wim Veldman and Freek Wiedijk. 1. Mathematics The ongoing creation of mathematics, that started 5 or 6 millennia ago and is still continuing at present, may be described as follows. By looking around and abstracting from the nature of objects and the size of shapes homo sapiens created the subjects of arithmetic and geometry. Higher mathematics later arose as a tower of theories above these two, in order to solve questions at the basis. It turned out that these more advanced theories often are able to model part of reality and have applications. By virtue of the quantitative, and even more qualitative, expressive force of mathematics, every science needs this discipline.
    [Show full text]
  • Paradox and Intuition
    PARADOX AND INTUITION ACASE STUDY JERZY POGONOWSKI Department of Applied Logic Adam Mickiewicz University www.logic.amu.edu.pl We share with the reader a few reflections concerning the role of mathematical in- tuition in possible resolutions of the Skolem’s Paradox. We assume that the reader is familiar with the rudiments of metalogic and the philosophy of mathematics. Paradoxes are not absolute — they are relativized to a chosen language. Paradoxes in mathematics are thus relativized to particular formal languages in which mathema- tical constructions are represented. Paradoxes are at the beginning of investigations — think for example about: the dis- covery of irrational numbers, the construction of complex numbers, prejudices concer- ning the „true” geometry and the discovery of non-Euclidean geometries, paradoxical uses of the infinitely small magnitudes in early Calculus and the rise of the non-standard analysis, etc. Mathematical intuition is not simply a part of common-sense intuition. The first has a dynamic nature, while the second is more static. Common-sense intuition is (may be) shaped by evolution. Mathematical intuition develops in the process of creating mathematics itself. The views concerning the nature of mathematical intuition are diversified according to the positions taken in the philosophy of mathematics (e.g. Platonistic, formalistic and intuitionistic standpoints). In the broadest sense, „intuition” means „immediate apprehension”. Here „appre- hension” may cover sensation, knowledge or even mystical rapport. In turn, „imme- diate” may mean the absence of e.g.: inference, causes, justification, symbols or even absence of thought. Looking from the functional perspective, we may say that: Paradoxes are modifiers of intuition.
    [Show full text]
  • Science-Traditional-Knowledge
    March 2002 SCIENCE AND TRADITIONAL KNOWLEDGE Report from the ICSU Study Group on Science and Traditional Knowledge Explanatory note The recommendations in this report are those of the authors and have not yet been ratified by the ICSU Executive Board and General Assembly. In setting out these recommendations for future ICSU activities, the authors have defined a number of possible actions and are fully aware that they may not all be implemented and, indeed, that alternative actions might eventually be considered more appropriate. The ICSU General Assembly will formally consider the report and its recommendations at its meeting in September 2002. March 2002 INTERNATIONAL COUNCIL FOR SCIENCE ICSU CONSEIL INTERNATIONAL POUR LA SCIENCE SCIENCE AND TRADITIONAL KNOWLEDGE Report from the ICSU Study Group on Science and Traditional Knowledge SECTION 1: BACKGROUND The World Conference on Science (WCS) was organized by UNESCO in cooperation with ICSU and took place in Budapest, Hungary, from 26 June to 1 July 1999. The objectives of the Conference were to help strengthen the commitment of ICSU and UNESCO's Member States and other major stakeholders to science education, research and development, and to define a strategy that would ensure that science responds better to society's needs and aspirations in the twenty-first century. The results of the Conference are embodied in two principal documents: (i) Declaration on Science and the Use of Scientific knowledge and (ii) Science Agenda - Framework for Action. The Declaration affirms that scientific knowledge has led to remarkable innovations that have been of great benefit to humankind. But it also notes at the same time the challenge to use this knowledge in a responsible manner to address human needs and aspirations.
    [Show full text]
  • Golombs Norske Forbindelsef
    An International Journal computers & mathematics with appllcatio~ PERGAMON Computers and Mathematics with Applications 39 (2000) 135-138 www.elsevier.nl/locate/camwa Golombs Norske ForbindelseF T. BU IT Director, University of Bergen, Bergen, Norway tot. built, uib. no With all his contacts worldwide it is a pleasure for me to report, that in the small mathematical community in Norway, Golomb has personal friends and that his work on number theory, com- binatorics, and communication theory has influenced the academic achievements of Norwegian mathematicians. My own first contact with Sol was on his visit to the University of Bergen in 1970 where he gave a couple of lectures. I recall that one subject was the theory of tiling a 3D Cartesian box with bricks of various dimensions. During the academic year 1979/1980 Sol kindly let me work as a visiting scholar at his department at USC, and I will always remember the hospitality that was bestowed on me and my family by Bo and Sol. I also appreciate how he introduced me to a lot of interesting mathematics and fascinating mathematicians, some of them world famous. Golomb's first visit to Norway was as early as 1955. I was only ten years of age at that time so I have asked Sol to give his own account of his first meeting with Norway and Norwegian mathematics. It was a morning in November, 1954, when I noticed an announcement on a bulletin board at Harvard describing the Fulbright program for overseas study. The deadline for applying was that very day! I went to the graduate school office in Farlow House, and told them I wanted to apply for a Fulbright Grant.
    [Show full text]
  • Extremal Axioms
    Extremal axioms Jerzy Pogonowski Extremal axioms Logical, mathematical and cognitive aspects Poznań 2019 scientific committee Jerzy Brzeziński, Agnieszka Cybal-Michalska, Zbigniew Drozdowicz (chair of the committee), Rafał Drozdowski, Piotr Orlik, Jacek Sójka reviewer Prof. dr hab. Jan Woleński First edition cover design Robert Domurat cover photo Przemysław Filipowiak english supervision Jonathan Weber editors Jerzy Pogonowski, Michał Staniszewski c Copyright by the Social Science and Humanities Publishers AMU 2019 c Copyright by Jerzy Pogonowski 2019 Publication supported by the National Science Center research grant 2015/17/B/HS1/02232 ISBN 978-83-64902-78-9 ISBN 978-83-7589-084-6 social science and humanities publishers adam mickiewicz university in poznań 60-568 Poznań, ul. Szamarzewskiego 89c www.wnsh.amu.edu.pl, [email protected], tel. (61) 829 22 54 wydawnictwo fundacji humaniora 60-682 Poznań, ul. Biegańskiego 30A www.funhum.home.amu.edu.pl, [email protected], tel. 519 340 555 printed by: Drukarnia Scriptor Gniezno Contents Preface 9 Part I Logical aspects 13 Chapter 1 Mathematical theories and their models 15 1.1 Theories in polymathematics and monomathematics . 16 1.2 Types of models and their comparison . 20 1.3 Classification and representation theorems . 32 1.4 Which mathematical objects are standard? . 35 Chapter 2 Historical remarks concerning extremal axioms 43 2.1 Origin of the notion of isomorphism . 43 2.2 The notions of completeness . 46 2.3 Extremal axioms: first formulations . 49 2.4 The work of Carnap and Bachmann . 63 2.5 Further developments . 71 Chapter 3 The expressive power of logic and limitative theorems 73 3.1 Expressive versus deductive power of logic .
    [Show full text]