8 Dec 2020 |
M Bip | Here are two articles that present and analyse Gödel's ontologocal argument in a rigorous fashion. The second overstates the importance of the glitch he made in an early version of the argument - but then their automatic theorem prover finding it is a major result. | 21:52:26 |
M Bip | Download 2016-GodProofND-StudiaLogica.pdf | 21:52:55 |
M Bip | Download The Inconsistency in Godel's On - Christoph Benzmuller.pdf | 21:53:11 |
M Bip | * Here are two articles that present and analyse Gödel's ontologocal argument in a rigorous fashion. The second overstates the importance of the glitch he made in an early version of the argument - but then their automatic theorem prover finding it is a major result. | 21:54:14 |
10 Dec 2020 |
M Bip | * Marcel van de Vel: You might be interested in this: if the God of Gödel's proof exists, then Zermelo-Fraenkel set theory is consistent. (That is how a Christian mathematician spends his Christmas - writing this article!) | 10:29:19 |
20 Dec 2020 |
| jlj (he/him) joined the room. | 07:31:24 |
21 Dec 2020 |
M Bip | Welcome, jlj! See the files for resources. (In Element Desktop, choose Show files in the info bar to the right.) | 22:17:47 |
22 Dec 2020 |
M Bip | Closer To Truth has an appropriate discussion question for Christmas. | 13:37:26 |
| jlj (he/him) changed their profile picture. | 21:23:05 |
26 Dec 2020 |
M Bip | Merry Christmas! And do open the Gift! | 00:24:04 |
M Bip | * Merry Christmas! And do open the Gift! | 00:24:16 |
| @lynn:privacytools.io left the room. | 11:44:21 |
| @steev10:matrix.org joined the room. | 20:33:39 |
| @julia:ggc-project.de left the room. | 20:51:06 |
27 Dec 2020 |
| @schirrschmidt:synod.im joined the room. | 14:21:53 |
| @schirrschmidt:synod.im left the room. | 14:22:22 |
| @steev10:matrix.org left the room. | 17:54:34 |
| @lara:fairydust.space left the room. | 18:04:11 |
28 Dec 2020 |
| @goldi:halogen.city left the room. | 11:41:53 |
29 Dec 2020 |
M Bip | Marcel van de Vel is otherwise busy for the moment. Feel free to start other discussions, or ask questions, here. | 11:10:07 |
M Bip | * Marcel van de Vel is otherwise busy for the moment. Feel free to start other discussions, or ask questions, here. | 11:10:36 |
M Bip | Let me add another resource: | 11:11:06 |
M Bip | Download The Dawkins Delusion_ Atheist Fundamentali - Alister E. McGrath.pdf | 11:11:26 |
M Bip | I admire the writing - irenic despite the vitriol it is dealing with (and squarely pointing out the aggression in Dawkins' book), and restricting itself to showing the lack of substance of that book, without pushing its own ideas. (For that we have God is Great, God is Good.) | 11:39:49 |
M Bip | * I admire the writing - irenic despite the vitriol it is dealing with (and squarely pointing out the aggression in Dawkins' book), and restricting itself to showing the lack of substance of the book, without pushing its own ideas. (For that we have God is Great, God is Good.) | 12:54:44 |
4 Jan 2021 |
| jlj (he/him) changed their display name from jlj to jlj (he/him). | 16:02:59 |
6 Jan 2021 |
M Bip | * I admire the writing - irenic despite the vitriol it is dealing with (and squarely pointing out the aggression in Dawkins' book), and restricting itself to showing the lack of substance of that book, without pushing its own ideas. (For that we have God is Great, God is Good.) | 12:49:39 |
M Bip | For those who read Dutch:
Ik heb de presentatie van mijn Bibliotheek drastisch gewijzigd. Alles zou nu in iedere browser op iedere computer moeten werken - JavaScript wordt alleen nog gebruikt voor de verwijzingen naar de registers en indices (omdat zulke verwijzingen binnen normale verwijzingen voor kunnen komen), en voor een paar speciale paginae (een fractalgenerator, een vooroordelentest, een paar rekenmachientjes, ..). Inhoudelijke discussie kan (in het Engels) hier; andere opmerkingen graag via het in het boekje Bibliotheek gegeven e-mailadres.
| 19:41:14 |
7 Jan 2021 |
| sterni | 00:24:15 |
17 Jan 2021 |
| fzbigniew joined the room. | 11:36:52 |