Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Liesbeth De Mol
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
23
Resultaten
2016
Formalism : the success(es) of a failure
Liesbeth De Mol
Hoofdstuk in een boek
in
Let's be logical = Soyons logiques
2016
2015
Haskell before Haskell : an alternative lesson in practical logics of the ENIAC
Liesbeth De Mol
Martin Carlé
Maarten Bullynck
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2015
2014
The proof is in the process : a preamble for a philosophy of computer-assisted mathematics
Liesbeth De Mol
Hoofdstuk in een boek
in
New directions in the philosophy of science
2014
2012
Generating, solving and the mathematics of homo sapiens : Emil Post’s views on computation
Liesbeth De Mol
Hoofdstuk in een boek
in
A computable universe : understanding and exploring nature as computation
2012
History and philosophy of computing, 7-10 November
Liesbeth De Mol
Giuseppe Primiero
Andere
2012
Reasoning with computer-assisted experiments in mathematics
Liesbeth De Mol
C1
Conferentie
2012
2011
Looking for busy beavers : a socio-philosophical study of a computer-assisted proof
Liesbeth De Mol
Hoofdstuk in een boek
in
Foundations of the formal sciences VII : bringing together philosophy and sociology of science
2011
On the complex behavior of simple tag systems : an experimental approach
Liesbeth De Mol
A1
Artikel in een tijdschrift
in
THEORETICAL COMPUTER SCIENCE
2011
2010
Haskell before Haskell: Curry's contribution to programming (1946-1950)
Liesbeth De Mol
Maarten Bullynck
Martin Carlé
P1
Conferentie
2010
Setting-up early computer programs: D. H. Lehmer's ENIAC computation
Maarten Bullynck
Liesbeth De Mol
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2010
Solvability of the halting and reachability problem for binary 2-tag systems
Liesbeth De Mol
A1
Artikel in een tijdschrift
in
Fundamenta Informaticae
2010
2009
Doing mathematics on the ENIAC. Von Neumann's and Lehmer's different visions
Liesbeth De Mol
C1
Conferentie
2009
Mathematics through man-computer interaction : a study of the early years of computing
Liesbeth De Mol
C1
Conferentie
2009
2008
A week-end off: the first extensive number-theoretical computation on the ENIAC
Liesbeth De Mol
Maarten Bullynck
P1
Conferentie
2008
Facing the computer : some techniques to understand technique
Liesbeth De Mol
C1
Conferentie
2008
How to talk with a computer: an essay on computability and man-computer conversations
Liesbeth De Mol
A4
Artikel in een tijdschrift
in
OFF TOPIC : UBERSETZEN : ZEITSCHRIFT FUR MEDIENKUNST DER KHM
2008
On the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results.
Liesbeth De Mol
C1
Conferentie
2008
Tag systems and Collatz-like functions
Liesbeth De Mol
A1
Artikel in een tijdschrift
in
THEORETICAL COMPUTER SCIENCE
2008
2007
Study of limits of solvability in tag systems
Liesbeth De Mol
P1
Conferentie
2007
Tracing unsolvability : a mathematical, historical and philosophical analysis with a special focus on tag systems
Liesbeth De Mol
Erik Weber
Proefschrift
2007
2006
Closing the circle: An analysis of Emil Post's early work
Liesbeth De Mol
A1
Artikel in een tijdschrift
in
BULLETIN OF SYMBOLIC LOGIC
2006
2005
Study of fractals derived from IFS-fractals by metric procedures
Liesbeth De Mol
A1
Artikel in een tijdschrift
in
FRACTALS-COMPLEX GEOMETRY PATTERNS AND SCALING IN NATURE AND SOCIETY
2005
2004
Computer Generated Images as Mathematical Tools
Liesbeth De Mol
C1
Conferentie
2004