Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Liesbeth De Mol
Profile
Projects
Publications
Activities
22
Results
2016
Formalism : the success(es) of a failure
Liesbeth De Mol
Bookchapter
in
Let's be logical = Soyons logiques
2016
2015
Haskell before Haskell : an alternative lesson in practical logics of the ENIAC
Liesbeth De Mol
A1
Journal Article
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
Bookchapter
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
Bookchapter
in
A computable universe : understanding and exploring nature as computation
2012
Reasoning with computer-assisted experiments in mathematics
Liesbeth De Mol
C1
Conference
2012
2011
Looking for busy beavers : a socio-philosophical study of a computer-assisted proof
Liesbeth De Mol
Bookchapter
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
Journal Article
in
THEORETICAL COMPUTER SCIENCE
2011
2010
Haskell before Haskell: Curry's contribution to programming (1946-1950)
Liesbeth De Mol
P1
Conference
2010
Setting-up early computer programs: D. H. Lehmer's ENIAC computation
Liesbeth De Mol
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2010
Solvability of the halting and reachability problem for binary 2-tag systems
Liesbeth De Mol
A1
Journal Article
in
Fundamenta Informaticae
2010
2009
Doing mathematics on the ENIAC. Von Neumann's and Lehmer's different visions
Liesbeth De Mol
C1
Conference
2009
Mathematics through man-computer interaction : a study of the early years of computing
Liesbeth De Mol
C1
Conference
2009
2008
A week-end off: the first extensive number-theoretical computation on the ENIAC
Liesbeth De Mol
P1
Conference
2008
Facing the computer : some techniques to understand technique
Liesbeth De Mol
U
Conference
2008
How to talk with a computer: an essay on computability and man-computer conversations
Liesbeth De Mol
A4
Journal Article
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
Conference
2008
Tag systems and Collatz-like functions
Liesbeth De Mol
A1
Journal Article
in
THEORETICAL COMPUTER SCIENCE
2008
2007
Study of limits of solvability in tag systems
Liesbeth De Mol
P1
Conference
2007
Tracing unsolvability : a mathematical, historical and philosophical analysis with a special focus on tag systems
Liesbeth De Mol
Erik Weber
Dissertation
2007
2006
Closing the circle: An analysis of Emil Post's early work
Liesbeth De Mol
A1
Journal Article
in
BULLETIN OF SYMBOLIC LOGIC
2006
2005
Study of fractals derived from IFS-fractals by metric procedures
Liesbeth De Mol
A1
Journal Article
in
FRACTALS-COMPLEX GEOMETRY PATTERNS AND SCALING IN NATURE AND SOCIETY
2005
2004
Computer Generated Images as Mathematical Tools
Liesbeth De Mol
C1
Conference
2004