|
Intuitionistic Logic
from Stanford Encyclopedia of Philosophy
(2022-12-17 8:40)
|
[Revised entry by Joan Moschovakis on December 16, 2022.
Changes to: Main text, Bibliography]
Intuitionistic logic encompasses the general principles of logical reasoning which have been abstracted by logicians from intuitionistic mathematics, as developed by L. E. J. Brouwer beginning in his [1907] and [1908]. Because these principles also hold for Russian recursive mathematics and the constructive analysis of E. Bishop and his followers, intuitionistic logic may be considered the logical basis of...
|
|
Darts-WM 2023: Florian Hempel gewinnt Erstrundenmatch
from DER SPIEGEL - Schlagzeilen
(2022-12-17 8:01)
|
DerKölsche Jung kann auf eine Wiederholung seines Vorjahrescoups im Alexandra Palace hoffen: Florian Hempel hat bei der Darts-WM als erster Deutscher ein Spiel für sich entschieden.
|
|
Familie Bismarck greift Annalena Baerbock an
from DER SPIEGEL - Schlagzeilen
(2022-12-17 7:41)
|
Statt Bismarck-Zimmer heißt ein Raum im Auswärtigen Amt nun Saal der Deutschen Einheit. Die Familie des einstigen Reichskanzlers zeigt sich empört und wirft der Außenministerin mangelndes Geschichtsbewusstsein vor.
|
|
Peru: 5000 Touristen in Cusco gestrandet
from DER SPIEGEL - Schlagzeilen
(2022-12-17 6:47)
|
Die Regierung in Peru hat wegen der Proteste im Land den Ausnahmezustand ausgerufen. Auch Flughäfen sind gesperrt etliche Touristen warten nun offenbar in ihren Hotels in Cusco darauf, abreisen zu können.
|
|
Der SPIEGEL 1972: Hanna Schygulla, Schlafwandlerin der Fassbinder-Filme
from DER SPIEGEL - Schlagzeilen
(2022-12-17 5:15)
|
Rainer Werner Fassbinder führte Regie, Hanna Schygulla durchstreifte seine Filme mit mysteriöser Aura und pragmatischer Kühle. Binnen weniger Jahre stieg sie zur Diva der westdeutschen Subkultur auf.
|
|
Großbritannien: Angeblich Spuren von harten Drogen in britischen Regierungsgebäuden gefunden
from DER SPIEGEL - Schlagzeilen
(2022-12-17 5:13)
|
Insider berichten von Spuren weißen Pulvers: einem Bericht zufolge sollen etwa in der Downing Street Spuren von Drogen gefunden worden sein. Boris Johnson und Liz Truss wollen davon nichts gewusst haben.
|
|
Elon Musk und die Medien: Verloren ist Twitter erst, wenn niemand mehr hinschaut - Kommentar
from DER SPIEGEL - Schlagzeilen
(2022-12-17 5:02)
|
Elon Musks Netzwerk blockiert Links und sperrt Konten von Kritikern mit haarsträubenden Begründungen. Warum es trotzdem falsch ist, wenn Journalisten Twitter jetzt verlassen.
|
|
Streitüber Twitter-Sperren: Das ist sehr gefährlich für die Pressefreiheit
from DER SPIEGEL - Schlagzeilen
(2022-12-17 5:02)
|
Twitter hat mehrere Reporter gesperrt, Presseverbände und Bürgerrechtler sind empört. Medienschaffende müssten sich die Frage stellen, ob sie jetzt noch in Elon Musks Netzwerk bleiben sollten.
|
|
Geplatzter Aquadom in Berlin:Das erschüttert nicht meinen Glauben an Acrylglas
from DER SPIEGEL - Schlagzeilen
(2022-12-17 4:54)
|
Warum zerbarst der Aquadom in Berlin-Mitte? Der Kunststofftechniker Christian Bonten istüberrascht, dass das überhaupt passieren konnte und hält nur wenige Erklärungsansätze für plausibel.
|
|
Aquadom in Berlin: Einige Dutzend Fische lebend in geplatztem Aquarium gefunden und gerettet
from DER SPIEGEL - Schlagzeilen
(2022-12-17 4:54)
|
Nicht alle Fische aus dem geplatzten Aquarium sind gestorben: Einigeüberlebten in einem bestimmten Bereich des riesigen Gefäßes. Auch aus Becken im Keller des Gebäudes wurden Tiere geborgen.
|
