Dowek, Computation Proof Machine
Computation is revolutionizing our world, even the inner world of the “pure” mathematician. Mathematical methods – especially the notion of proof – that have their ...
Continue Reading →Abiteboul, Dowek, The age of algorithms
Algorithms are probably the most sophisticated tools that people have had at their disposal since the beginnings of human history. They have transformed science, industry, ...
Continue Reading →Most liked books
Varoufakis, Another Now
June 13, 2024
Recent Comments
Categories
- _English Language 1404
- _French Language 55
- _German Language 69
- _Italian Language 54
- _Latin Language 44
- 1750-1850 64
- 17th Century 77
- 17th culture and other cities in Italy 5
- 19th century 45
- 20th Century 151
- 21th Century 75
- Aesthetics 5
- Afrofuturism 3
- Ancient Literature 37
- Anthropocene 1
- Anthropology 3
- Architectural Theory 222
- Architecture + Philosophy 37
- Architecture and Literature, Symbolism 36
- Art 13
- Art Theory 109
- Artificial Intelligence 7
- Artists in Rome 20
- Astronomy 2
- Autobiography 1
- Bernini 19
- Biology 5
- Catalogue 2
- Christian Iconography 18
- Christianity 13
- Cinema 2
- City 45
- Classical 1
- Construction 1
- Contemporary 2
- Design 29
- Digital Architectonics 21
- Drawings 41
- Economy 29
- Empire, Architecture + Catholicism 14
- England & British Isles 26
- Enlightenment Library 127
- Evolution 6
- Fashion 5
- Feminism 20
- Film Festival 1
- France 47
- Gender and Sexuality Studies 5
- Gothic 13
- Greek, Roman Library 99
- Historiography 43
- Humanism 12
- India 5
- Islam 5
- Italy 80
- Landscape Architecture 8
- LGBT 1
- Libraries 0
- Linguistics 6
- Literary Criticism 11
- Literary Theory 82
- Literature 71
- Low Countries (Benelux) 14
- Mathematics 61
- Medicine 4
- medieval library 38
- medieval literature 9
- Modern 51
- Monuments + Conservation 27
- Music Theory 1
- Mysticism 4
- Mythology 19
- Nature, Ecology, Animals 4
- Neurobiology 1
- Opera 5
- Philosophy 339
- Physics 16
- Poetry 5
- Politics 75
- Popes, Vatican, Rome 27
- Portrait, Sculpture, Materiality 56
- Post-Modern 22
- Programming 2
- Psychology 22
- Religion 23
- Renaissance 86
- Renaissance Library 80
- Rhetorics 1
- Roman Architecture 21
- Rome 122
- Schinkel 8
- Science 56
- Sociology 21
- Sound 7
- Sources 56
- Spain 10
- Switzerland 48
- Uncategorized 73
- Urbanism 53