Logic List Mailing Archive

CfR: Fibonacci's Garden: The Epistemology and Ethics of Formal Methods in the sciences, November 25-26, Hybrid: Lübeck (Germany) + online

Call for Registration: 

Fibonacci's Garden: The Epistemology and Ethics of Formal Methods in the sc
iences (with a focus on the life sciences and inner mathematical considerat
ions)

Homepage: https://sites.google.com/view/112358-garden/startseite
When: November 25 - 26, 2024  (starting 10 (or slightly earlier) am on Mond
ay, ending 3 pm on Tuesday)
Where: Lbeck at the Institut fr Medizingeschichte und Wissenschaftsfo
rschung der Universitt zu Lbeck (Germany) and Zoom

Who: Open to all interested, please register using this form https://forms.
gle/352C6Y6XM5663mHi8 

If you do not want to use a google form, send in email to    d (dot) sarika
ya ( at ) uni ( minus ) luebeck (dot) de . Please include the word 'Fibonac
ci' in the subject line.
In person registration is limited and ends for external scientists on Novem
ber 20th. 


The workshop is mainly designed as an in person event but it will be possib
le to listen online (and ask questions in the Q&A).
There will be NO recordings of the talks. 

Organized by: Christian Herzog (Universitt zu Lbeck) & Deniz Sarikaya
 (Vrije Universiteit Brussels & Universitt zu Lbeck)


== Topic:
In 1960, physicist and Nobel Laureate Eugene Wigner wrote an article entitl
ed "The Unreasonable Effectiveness of Mathematics in the Natural Sciences."
 Wigner was surprised that the mathematical structure of a physical theory 
not only accurately describes the physical world but also leads to new pred
ictions and further advances. This phenomenon puzzled him, leading to the t
erm "unreasonable effectiveness": Why is mathematics so effective in descri
bing the natural world? More recently, a Nobel Prize in Physics was awarded
 for work that many might consider to belong to computer science. The first
 image of a black hole, for example, relied heavily on sophisticated code. 
Formal tools are now integral to many complex measurements, cutting across 
various scientific practices.

We are organizing a two-day exploratory workshop. The main theme will broad
ly explore the applicability of mathematics both within and outside its tra
ditional boundaries. Day 1 will focus on the use of mathematical tools in t
he sciences, particularly in the life sciences. The life sciences are incre
asingly becoming more mathematical, and there are ongoing fruitful discussi
ons-both scientific and philosophical-on how mathematics should be coordina
ted with biological and medical phenomena. Day 2 will shift to internal mat
hematical considerations, such as how formal tools, like theorem-proving so
ftware, can be applied to these interdisciplinary efforts. Moreover, "appli
cability" has become a major theme in mathematical research, as some analyt
ical resources prove to be more suitable for different contexts within pure
 mathematics. This is a topic that has recently garnered the attention of p
hilosophers of mathematics, especially those interested in the "practice tu
rn" in philosophy.

Finally, a common thread throughout both days of the workshop is the ethica
l dimension. The way we mathematize and quantify the real world, and how au
tomation influences various fields, has wide-reaching implications for soci
ety and numerous professional practices.


== Speakers:
    Thorsten Altenkirch (University of Nottingham)
    Ozan Altan Altinok (CELLS, Leibniz Universitt Hannover)
    Bernhard Fisseni (Universitt Duisburg-Essen)
    Christian Herzog (Universitt zu Lbeck)
    Deborah Kant (Universitt Hamburg)
    Benedikt Lwe (Universitt Hamburg & Cambridge University) [Online]
    Jos Antonio Perez-Escobar (UNED, Madrid) 

    Bernhard Schrder (Universitt Duisburg-Essen) 

    Cristina Villegas (Universidade de Lisboa)
    Diedrich Wolter (Universitt zu Lbeck) More TBA  


== Supported by:
Die Akademie der Wissenschaften in Hamburg, Ethical Innovation Hub of the U
niversitt zu Lbeck, and Institut fr Medizingeschichte und Wissensc
haftsforschung der Universitt zu Lbeck. The Event is also endorsed by
 the CIPSH Chair: Diversity of Mathematical Research Cultures and Practices.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php