The Wiert Corner – irregular stream of stuff

Jeroen W. Pluimers on .NET, C#, Delphi, databases, and personal interests

  • My badges

  • Twitter Updates

  • My Flickr Stream

  • Pages

  • All categories

  • Enter your email address to subscribe to this blog and receive notifications of new posts by email.

    Join 4,262 other subscribers

Archive for February 10th, 2021

Kristian Köhntopp explaining theories

Posted by jpluimers on 2021/02/10

A few years back, coincidentally and funnily shortly after Matt Haig compared confidence in Brexit with science confidence, Kristian Köhntopp explained about theories, in response to this (translated from German) question:

Why is the theory of relativity and evolution theory actually still called ‘theory‘?

The essence of this question is that in everyday speak, people have different idea on theory (thinking it is not yet proven, or can be disputed with very little evidence, both more like hypothesis), than in formal or scientific usage of the word theory:

Theory:

Scientific theories are the most reliable, rigorous, and comprehensive form of scientific knowledge, in contrast to more common uses of the word “theory” that imply that something is unproven or speculative (which in formal terms is better characterized by the word hypothesis).

Theory: Ancient_uses:

The English word theory derives from a technical term in philosophy in Ancient Greek. As an everyday word, theoriaθεωρία, meant “a looking at, viewing, beholding”, but in more technical contexts it came to refer to contemplative or speculative understandings of natural things, such as those of natural philosophers, as opposed to more practical ways of knowing things, like that of skilled orators or artisans.

Theory: Definitions from scientific organizations

The formal scientific definition of “theory” is quite different from the everyday meaning of the word. It refers to a comprehensive explanation of some aspect of nature that is supported by a vast body of evidence.

So Isotopp explained:

[WayBackKristian Köhntopp auf Twitter: “Weil sie das sind. Ein System von Theoremen, die ein Modell der Realität darstellen, das es erlaubt Vorhersagen über die Welt zu machen.”

[WayBack ]Thread 1 by @isotopp:

Weil sie das sind. Ein System von Theoremen, die ein Modell der Realität darstellen, das es erlaubt Vorhersagen über die Welt zu machen.

The Quark And The Jaguar: Adventures in the Simple and the Complex amazon.de/dp/0349106495/…

Das Buch geht auf diesen Aspekt und noch viel mehr in einiger Länge ein und ist generell hilfreich um zu verstehen was Wissenschaft ist und was nicht

[WayBack] Aljoscha Rittner auf Twitter: “Ich glaube es wird noch sehr lange dauern, bis wir über den Punkt hinaus sind, nur mit Modellen unser Universum beschreiben zu können.”

[WayBack] Thread  2 by @isotopp

Äh, das tun wir seit de.wikipedia.org/wiki/Aufklärun… Es ist das Wesen des Modells, einen Scope und einen Fehler zu haben. Scope – die Newtownschen Gesetze beschreiben die Bewegung von Dingen mit Masse in Vakuum. Nicht in Atmosphäre, …
… nicht von Dingen ohne Masse und nicht bei sehr hohen Geschwindigkeiten. Fehler – wir wissen, das Newtons Theorien eine Vereinfachung sind, und Einsteins Formeln den Sachverhalt gebaut beschreiben, aber Einsteins Formeln degenerieren für v<<c zu denen von Newton.
Es ist der Sinn von Modellen, uns zu befähigen, Vorhersagen zu machen, wie sich die Welt verhält. Das Modell ist dabei oft beschränkt und ungenau, es seine Anwendbarkeit nicht einschränken muss, weil wir oft Fehler hinnehmen oder Beschränkungen im Anwendungsgebiet akzeptieren

[WayBack] Frank Hartmann auf Twitter: “Ist eine Theorie, die bewiesen wurde, nicht mehr von alleine keine Theorie mehr? Sondern vielmehr ein Fakt?… “

[WayBack] Nathaniel Bernstein auf Twitter: “Du meinst „Hypothese“, wo du „Theorie“ schreibst.… “

[WayBackFrank Hartmann auf Twitter: “Nopp. Man hat eine Hypothese. Dann stellt man eine Theorie auf, forscht und beweist diese. Oder auch nicht. Dann beantragt man mehr Forschungsgelder gg”

[WayBack] Thread 3 by @isotopp

Eine Theorie, ein System von Theoremen, ist nicht bewiesen und oft auch nicht korrekt (dh bekannt falsch, beschränkt und ungenau)

Darum mein abzielen auf Vorhersagen. Daltons Atommodell de.wikipedia.org/wiki/John_Dalt… ist beschränkt, war aber in der Lage, Dinge zu modellieren…

… die vorher nicht modellierbar waren. Wieso reagieren Wasserstoff und Sauerstoff 2:1 in der Knalleraktion?

Thompson, Rutherford, Bohr haben bessere (genauere) Modelle, die an Ende als Verfeinerungen oder Verkomplizierungen von Dalton aufgefasst werden können.

Diese Modelle leisten, was ihre Vorgänger jeweils konnten und mehr (größeres Anwendungsgebiet, bessere Genauigkeit)

Du kannst eine Theorie “beweisen” in den Du sie für Vorhersagen verwendest und dann schaust, ob die taugen.

Du kannst sie widerlegen: Die Vorhersagen sind unzutreffend oder für den Zweck zu ungenau.

Du kannst nichts tun, wenn sie Theorie keine Vorhersagen liefern kann

Das Wesen von Wissenschaft ist, das Theorien Weltmodelle liefern, die Vorhersagen machen, die sich in Experimenten prüfen lassen
Deswegen bleiben Theorien dennoch immer Theorien, Systeme von Theoremen, und sie bleiben unvollkommen (Modelle, effektiv Vereinfachungen, mit Anwendungsgebiet und Genauigkeitsgrenzen)

Via [WayBack] Frank Hartmann auf Twitter: “Wieso nennt man die Relativitätstheorie und Evolutionstheorie eigentlich immer noch ‘Theorie’? #Science”

Related:

Read the rest of this entry »

Posted in LifeHacker, Power User, science | Leave a Comment »

Some LCID links and notes

Posted by jpluimers on 2021/02/10

Document locations changed, so here are some links to newer and older documentation on LCID related things:

More Delphi related links:

 

–jeroen

Posted in Development, Internet, link rot, Power User, Software Development, Windows Development, WWW - the World Wide Web of information | Leave a Comment »

The Delphi interface reference counting compiler bug that will never get fixed as it is marked “as designed”

Posted by jpluimers on 2021/02/10

A long time ago, I write a question [WayBack] delphi – Should the compiler hint/warn when passing object instances directly as const interface parameters? – Stack Overflow in 2010.

It was marked by (now former) compiler engineer Barry Kelly [WayBack1/WayBack2] as bug:

It’s a bug. The conversion from instance to interface reference in RunLeakCrash should be to a temporary variable, keeping it alive for the duration of RunLeakCrash.

Added to that was a comment that this has happened since at least Delphi 6, so I filed a bug WayBack QualityCentral Report #: 90482 The compiler should keep a hidden reference when passing freshly created object instances directly as const interface parameters.

Just for years later, it was marked with “As Designed” which means it is never going to be fixed, especially since in the mean time Embarcadero got rid of most the senior Delphi R&D team members and went down the path of hiring contractors.

The problem is that I run into the two manifestations every now and then, and it usually takes a long time debugging to zoom into the actual location of the spots.

First manifestation: crash

This is the bug in the first manifestation (by now the root interface is IInterface instead of IUnknown, and you usually have an interface derived from it):

Read the rest of this entry »

Posted in Conference Topics, Conferences, Delphi, Development, Event, Software Development, Undocumented Delphi | Leave a Comment »