Liesbeth De Mol

No current affiliation with UGent

Show Sort by

Add to list
- Book Chapter
Formalism : the success(es) of a failure

Liesbeth De Mol (UGent)

(2016) Let's be logical = Soyons logiques. In Cahiers de logique et d'épistémologie 22. p.28-44
Add to list
- Journal Article
- A1
- open access
Haskell before Haskell : an alternative lesson in practical logics of the ENIAC

Liesbeth De Mol (UGent) , Martin Carlé and Maarten Bullynck

(2015) JOURNAL OF LOGIC AND COMPUTATION. 25(4). p.1011-1046
Add to list
- Book Chapter
- open access
The proof is in the process : a preamble for a philosophy of computer-assisted mathematics

Liesbeth De Mol (UGent)

(2014) New directions in the philosophy of science. In The philosophy of science in a European perspective 5. p.15-33
Add to list
- Conference Paper
- C1
- open access
Reasoning with computer-assisted experiments in mathematics

Liesbeth De Mol (UGent)

(2012) Proceedings of the third workshop in the philosophy of information. p.80-92
Add to list
- Book Chapter
- open access
Generating, solving and the mathematics of homo sapiens : Emil Post’s views on computation

Liesbeth De Mol (UGent)

(2012) A computable universe : understanding and exploring nature as computation. p.45-62
Add to list
- Journal Article
- A1
- open access
On the complex behavior of simple tag systems : an experimental approach

Liesbeth De Mol (UGent)

(2011) THEORETICAL COMPUTER SCIENCE. 412(1-2). p.97-112
Add to list
- Book Chapter
- open access
Looking for busy beavers : a socio-philosophical study of a computer-assisted proof

Liesbeth De Mol (UGent)

(2011) Foundations of the formal sciences VII : bringing together philosophy and sociology of science. In Studies in logic 32. p.61-90
Add to list
- Journal Article
- A1
Solvability of the halting and reachability problem for binary 2-tag systems

Liesbeth De Mol (UGent)

(2010) Fundamenta Informaticae. 99(4). p.435-471
Add to list
- Conference Paper
- P1
- open access
Haskell before Haskell: Curry's contribution to programming (1946-1950)

Liesbeth De Mol (UGent) , Maarten Bullynck and Martin Carlé

(2010) LECTURE NOTES IN COMPUTER SCIENCE. 6158. p.108-117
Add to list
- Journal Article
- A1
- open access
Setting-up early computer programs: D. H. Lehmer's ENIAC computation

Maarten Bullynck and Liesbeth De Mol (UGent)

(2010) ARCHIVE FOR MATHEMATICAL LOGIC. 49(2). p.123-146
Add to list
- Conference Paper
- C1
- open access
Doing mathematics on the ENIAC. Von Neumann's and Lehmer's different visions

Liesbeth De Mol (UGent)

(2009) Mathematical Practice and Development throughout History. Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics. p.149-186
Add to list
- Conference Paper
- C1
Mathematics through man-computer interaction : a study of the early years of computing

Liesbeth De Mol (UGent)

(2009) Logic, philosophy and history of science in Belgium : proceedings of the Young Researchers Days 2008. p.127-132
Add to list
- Conference Paper
- C1
- open access
Facing the computer : some techniques to understand technique

Liesbeth De Mol (UGent)

(2008) Proceedings from computers & philosophy, an international conference. p.663-674
Add to list
- Journal Article
- A4
- open access
How to talk with a computer: an essay on computability and man-computer conversations

Liesbeth De Mol (UGent)

(2008) OFF TOPIC : UBERSETZEN : ZEITSCHRIFT FUR MEDIENKUNST DER KHM. 1. p.80-89
Add to list
- Conference Paper
- C1
- open access
On the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results.

Liesbeth De Mol (UGent)

(2008) The complexity of simple programs. p.63-75
Add to list
- Journal Article
- A1
- open access
Tag systems and Collatz-like functions

Liesbeth De Mol (UGent)

(2008) THEORETICAL COMPUTER SCIENCE. 390(1). p.92-101
Add to list
- Conference Paper
- P1
- open access
A week-end off: the first extensive number-theoretical computation on the ENIAC

Liesbeth De Mol (UGent) and Maarten Bullynck

(2008) LECTURE NOTES IN COMPUTER SCIENCE. 5028. p.158-167
Add to list
- PhD Thesis
Tracing unsolvability : a mathematical, historical and philosophical analysis with a special focus on tag systems

Liesbeth De Mol (UGent)

(2007)
Add to list
- Conference Paper
- P1
Study of limits of solvability in tag systems

Liesbeth De Mol (UGent)

(2007) LECTURE NOTES IN COMPUTER SCIENCE. 4664. p.170-181
Add to list
- Journal Article
- A1
Closing the circle: An analysis of Emil Post's early work

Liesbeth De Mol (UGent)

(2006) BULLETIN OF SYMBOLIC LOGIC. 12(2). p.267-289
Add to list
- Journal Article
- A1
Study of fractals derived from IFS-fractals by metric procedures

Liesbeth De Mol (UGent)

(2005) FRACTALS-COMPLEX GEOMETRY PATTERNS AND SCALING IN NATURE AND SOCIETY. 13(3). p.237-244
Add to list
- Conference Paper
- C1
Computer Generated Images as Mathematical Tools

Liesbeth De Mol (UGent)

(2004) Proceedings of the 7th International Conference and Exhibition Generative Art. p.140-147

Academic Bibliography

Liesbeth De Mol

Formalism : the success(es) of a failure

Haskell before Haskell : an alternative lesson in practical logics of the ENIAC

The proof is in the process : a preamble for a philosophy of computer-assisted mathematics

Reasoning with computer-assisted experiments in mathematics

Generating, solving and the mathematics of homo sapiens : Emil Post’s views on computation

On the complex behavior of simple tag systems : an experimental approach

Looking for busy beavers : a socio-philosophical study of a computer-assisted proof

Solvability of the halting and reachability problem for binary 2-tag systems

Haskell before Haskell: Curry's contribution to programming (1946-1950)

Setting-up early computer programs: D. H. Lehmer's ENIAC computation

Doing mathematics on the ENIAC. Von Neumann's and Lehmer's different visions

Mathematics through man-computer interaction : a study of the early years of computing

Facing the computer : some techniques to understand technique

How to talk with a computer: an essay on computability and man-computer conversations

On the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results.

Tag systems and Collatz-like functions

A week-end off: the first extensive number-theoretical computation on the ENIAC

Tracing unsolvability : a mathematical, historical and philosophical analysis with a special focus on tag systems

Study of limits of solvability in tag systems

Closing the circle: An analysis of Emil Post's early work

Study of fractals derived from IFS-fractals by metric procedures

Computer Generated Images as Mathematical Tools

Contents

Support

Contact