norden.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Moin! Dies ist die Mastodon-Instanz für Nordlichter, Schnacker und alles dazwischen. Folge dem Leuchtturm.

Administered by:

Server stats:

3.4K
active users

#thesis

2 posts2 participants0 posts today

Guest article by #Heinz #Luediger: “The #illusion of #time or where #Kant was wrong”

Here he spans a #logical #thread through the #history of #philosophy, which is based on the #metaphysical #concepts of #being and #becoming and leads to the steep #thesis that “time” is identical with #logic. But Mr. Luediger should rather explain this himself in his #essay published here.

More at: philosophies.de/index.php/2024

Master thesis by Pepijn Vunderink: "Program Matching with Semantic Patterns"

"We propose the Dyno pattern language, in which concrete object language syntax can be used to express intuitive semantic patterns of programs. Pattern matching is performed by translating Dyno patterns to μ-calculus formulas and model checking these formulas against models extracted from object programs."

repository.tudelft.nl/record/u

repository.tudelft.nlProgram Matching with Semantic Patterns | TU Delft Repository

Guest article by #Heinz #Luediger: “The #illusion of #time or where #Kant was wrong”

Here he spans a #logical #thread through the #history of #philosophy, which is based on the #metaphysical #concepts of #being and #becoming and leads to the steep #thesis that “time” is identical with #logic. But Mr. Luediger should rather explain this himself in his #essay published here.

More at: philosophies.de/index.php/2024