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: L�beck at the Institut f�r Medizingeschichte und Wissenschaftsfo
rschung der Universit�t zu L�beck (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 (Universit�t zu L�beck) & Deniz Sarikaya
 (Vrije Universiteit Brussels & Universit�t zu L�beck)


== 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 Universit�t Hannover)
    Bernhard Fisseni (Universit�t Duisburg-Essen)
    Christian Herzog (Universit�t zu L�beck)
    Deborah Kant (Universit�t Hamburg)
    Benedikt L�we (Universit�t Hamburg & Cambridge University) [Online]
    Jos� Antonio Perez-Escobar (UNED, Madrid) 

    Bernhard Schr�der (Universit�t Duisburg-Essen) 

    Cristina Villegas (Universidade de Lisboa)
    Diedrich Wolter (Universit�t zu L�beck) More TBA  


== Supported by:
Die Akademie der Wissenschaften in Hamburg, Ethical Innovation Hub of the U
niversit�t zu L�beck, and Institut f�r Medizingeschichte und Wissensc
haftsforschung der Universit�t zu L�beck. 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