|
Ingebrigt Johansson
Ingebrigt Johansson. Ingebrigt Johansson (24 October 1904 in Narvik – 24 April 1987 in Oslo) was a Norwegian mathematician. He developed the symbolic logic system known as minimal logic Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is an intuitionistic and paraconsistent logic, that rejects both the law of the excluded middle as well as the principle of explosion .... References External links Matematikklærerne ved Universitetet i Oslo 1904 births 1987 deaths 20th-century Norwegian mathematicians Norwegian people of Swedish descent People from Narvik Presidents of the Norwegian Mathematical Society {{Norway-academic-bio-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Narvik
( se, Áhkanjárga) is the third-largest municipality in Nordland county, Norway, by population. The administrative centre of the municipality is the town of Narvik. Some of the notable villages in the municipality include Ankenesstranda, Ballangen, Beisfjord, Bjerkvik, Bjørnfjell, Elvegård, Kjøpsvik, Skjomen, Håkvik, Hergot, Straumsnes, and Vidrek. The Elvegårdsmoen army camp is located near Bjerkvik. Narvik is located on the shores of the Ofotfjorden. The municipality is part of the traditional district of Ofoten of Northern Norway, inside the Arctic Circle. The municipality of Narvik borders the municipality of Hamarøy to the southwest, Evenes to the northwest, Bardu, Gratangen, Lavangen and Tjeldsund (in Troms og Finnmark county) to the north, and Norrbotten County ( Lapland) in Sweden to the south and east. The municipality is the 10th largest by area out of the 356 municipalities in Norway. Narvik is the 57th most populous municipality in Norway with a popula ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oslo
Oslo ( , , or ; sma, Oslove) is the capital and most populous city of Norway. It constitutes both a county and a municipality. The municipality of Oslo had a population of in 2022, while the city's greater urban area had a population of in 2019, and the metropolitan area had an estimated population of in 2021. During the Viking Age the area was part of Viken. Oslo was founded as a city at the end of the Viking Age in 1040 under the name Ánslo, and established as a ''kaupstad'' or trading place in 1048 by Harald Hardrada. The city was elevated to a bishopric in 1070 and a capital under Haakon V of Norway around 1300. Personal unions with Denmark from 1397 to 1523 and again from 1536 to 1814 reduced its influence. After being destroyed by a fire in 1624, during the reign of King Christian IV, a new city was built closer to Akershus Fortress and named Christiania in honour of the king. It became a municipality ('' formannskapsdistrikt'') on 1 January 1838. The city fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Norway
Norway, officially the Kingdom of Norway, is a Nordic country in Northern Europe, the mainland territory of which comprises the western and northernmost portion of the Scandinavian Peninsula. The remote Arctic island of Jan Mayen and the archipelago of Svalbard also form part of Norway. Bouvet Island, located in the Subantarctic, is a dependency of Norway; it also lays claims to the Antarctic territories of Peter I Island and Queen Maud Land. The capital and largest city in Norway is Oslo. Norway has a total area of and had a population of 5,425,270 in January 2022. The country shares a long eastern border with Sweden at a length of . It is bordered by Finland and Russia to the northeast and the Skagerrak strait to the south, on the other side of which are Denmark and the United Kingdom. Norway has an extensive coastline, facing the North Atlantic Ocean and the Barents Sea. The maritime influence dominates Norway's climate, with mild lowland temperatures on the se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History One of the earliest known mathematicians were Thales of Miletus (c. 624–c.546 BC); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. The number of known mathematicians grew when Pythagoras of Samos (c. 582–c. 507 BC) established the Pythagorean School, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman mathematician recorded by history was Hypati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symbolic Logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency. Work in set theory show ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Minimal Logic
Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is an intuitionistic and paraconsistent logic, that rejects both the law of the excluded middle as well as the principle of explosion (''ex falso quodlibet''), and therefore holding neither of the following two derivations as valid: :\vdash (B \lor \neg B) :(A \land \neg A) \vdash where A and B are any propositions. Most constructive logics only reject the former, the law of excluded middle. In classical logic, the ''ex falso'' laws :(A \land \neg A) \to B, :\neg(A \lor \neg A) \to B, :\neg A \to (A \to B), as well as their variants with A and \neg A switched, are equivalent to each other and valid. Minimal logic also rejects those principles. Axiomatization Minimal logic is axiomatized over the positive fragment of intuitionistic logic. These logics may be formulated in the language using implication \to, conjunction \land and disjunction \lor as the basic c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compositio Mathematica
''Compositio Mathematica'' is a monthly peer-reviewed mathematics journal established by L.E.J. Brouwer in 1935. It is owned by the Foundation Compositio Mathematica, and since 2004 it has been published on behalf of the Foundation by the London Mathematical Society in partnership with Cambridge University Press. According to the ''Journal Citation Reports'', the journal has a 2020 2-year impact factor of 1.456 and a 2020 5-year impact factor of 1.696. The editors-in-chief are Jochen Heinloth, Bruno Klingler, Lenny Taelman, and Éric Vasserot. Early history The journal was established by L. E. J. Brouwer in response to his dismissal from ''Mathematische Annalen'' in 1928. An announcement of the new journal was made in a 1934 issue of the ''American Mathematical Monthly''. In 1940 the publication of the journal was suspended due to the German occupation of the Netherlands Despite Dutch neutrality, Nazi Germany invaded the Netherlands on 10 May 1940 as part of Fall Gelb (Case ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1904 Births
Nineteen or 19 may refer to: * 19 (number), the natural number following 18 and preceding 20 * one of the years 19 BC, AD 19, 1919, 2019 Films * ''19'' (film), a 2001 Japanese film * ''Nineteen'' (film), a 1987 science fiction film Music * 19 (band), a Japanese pop music duo Albums * ''19'' (Adele album), 2008 * ''19'', a 2003 album by Alsou * ''19'', a 2006 album by Evan Yo * ''19'', a 2018 album by MHD * ''19'', one half of the double album ''63/19'' by Kool A.D. * ''Number Nineteen'', a 1971 album by American jazz pianist Mal Waldron * ''XIX'' (EP), a 2019 EP by 1the9 Songs * "19" (song), a 1985 song by British musician Paul Hardcastle. * "Nineteen", a song by Bad4Good from the 1992 album '' Refugee'' * "Nineteen", a song by Karma to Burn from the 2001 album ''Almost Heathen''. * "Nineteen" (song), a 2007 song by American singer Billy Ray Cyrus. * "Nineteen", a song by Tegan and Sara from the 2007 album '' The Con''. * "XIX" (song), a 2014 song by Slipk ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1987 Deaths
File:1987 Events Collage.png, From top left, clockwise: The MS Herald of Free Enterprise capsizes after leaving the Port of Zeebrugge in Belgium, killing 193; Northwest Airlines Flight 255 crashes after takeoff from Detroit Metropolitan Airport, killing everyone except a little girl; The King's Cross fire kills 31 people after a fire under an escalator Flashover, flashes-over; The MV Doña Paz sinks after colliding with an oil tanker, drowning almost 4,400 passengers and crew; Typhoon Nina (1987), Typhoon Nina strikes the Philippines; LOT Polish Airlines Flight 5055 crashes outside of Warsaw, taking the lives of all aboard; The USS Stark is USS Stark incident, struck by Iraq, Iraqi Exocet missiles in the Persian Gulf; President of the United States, U.S. President Ronald Reagan gives a famous Tear down this wall!, speech, demanding that Soviet Union, Soviet leader Mikhail Gorbachev tears down the Berlin Wall., 300x300px, thumb rect 0 0 200 200 Zeebrugge disaster rect 200 0 400 200 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Norwegian People Of Swedish Descent
Norwegian, Norwayan, or Norsk may refer to: *Something of, from, or related to Norway, a country in northwestern Europe *Norwegians, both a nation and an ethnic group native to Norway *Demographics of Norway *The Norwegian language, including the two official written forms: **Bokmål, literally "book language", used by 85–90% of the population of Norway **Nynorsk, literally "New Norwegian", used by 10–15% of the population of Norway *The Norwegian Sea Norwegian or may also refer to: Norwegian *Norwegian Air Shuttle, an airline, trading as Norwegian **Norwegian Long Haul, a defunct subsidiary of Norwegian Air Shuttle, flying long-haul flights *Norwegian Air Lines, a former airline, merged with Scandinavian Airlines in 1951 *Norwegian coupling, used for narrow-gauge railways *Norwegian Cruise Line, a cruise line *Norwegian Elkhound, a canine breed. *Norwegian Forest cat, a domestic feline breed *Norwegian Red, a breed of dairy cattle *Norwegian Township, Schuylkill County, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Norway")
