tag:blogger.com,1999:blog-62801709543260230032017-04-25T12:57:57.373+01:00Se programmo...Mathematics, logic, physics and proof of realityJulio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.comBlogger11125tag:blogger.com,1999:blog-6280170954326023003.post-56180164638812740932016-08-27T15:53:00.003+01:002016-08-28T08:56:24.914+01:00Nan.Numerics.Prime (in Prolog)Nan.Numerics.Prime/Prolog 1.2.2-betaNan.Numerics.Prime
A simple prime number library
Copyright 2016 Julio P. Di Egidio
Licensed under GNU GPLv3.
http://julio.diegidio.name/Projects/Nan.Numerics.Prime/
https://github.com/jp-diegidio/Nan.Numerics.Prime-Prolog/
library(nan_numerics_prime)
Module prime provides predicates to test (positive integer) numbers for
primality, find divisors and factor Julio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0tag:blogger.com,1999:blog-6280170954326023003.post-50542492660553779162015-09-16T01:13:00.001+01:002015-09-16T04:04:58.755+01:00Answer Sources: from Fluents to InteractorsThis is a follow-up to my previous post "Answer Sources in Prolog (SWI) - Preview" [1]. Here I present the flow diagram for the worker loop with support for the return operation. Implementation of the return operation upgrades our answer sources from fluents [2] to interactors [3].
(Click the image to open full size.)
(Click the image to open full size.)
[1] My post, "Answer Sources in Julio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0tag:blogger.com,1999:blog-6280170954326023003.post-41938432506668059162015-09-03T15:41:00.000+01:002015-09-16T01:13:47.912+01:00Answer Sources in Prolog (SWI) - PreviewI have implemented an initial version of Answer Sources in SWI-Prolog [1], now submitted for preliminary discussion to comp.lang.prolog [2]. For the rationale and design, I have followed Paul Tarau on "fluent sources" [3], although with some important differences.
[1] Code preview with answer sources and the basic combinators:
https://gist.github.com/jp-diegidio/2914cac8b5cfb2b6a95e
[2] (Julio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0tag:blogger.com,1999:blog-6280170954326023003.post-81194595793351386052015-07-15T15:45:00.000+01:002016-08-27T16:00:49.887+01:00Symmetric Twins Paradox[NOTE: I am thinking about withdrawing this article as essentially incorrect!]
In the context of special relativity, we present a twins experiment that is symmetric between the twins, so that a paradox appears inescapable, in the form of a violation of the principle of causality.
Here is the experiment (we would argue that effects of acceleration can be made arbitrarily small in our setup):
Julio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com1tag:blogger.com,1999:blog-6280170954326023003.post-64668161401302485302015-04-18T11:00:00.002+01:002015-09-03T15:51:27.480+01:00Cheryl's birthday in PrologCheryl's Birthday - The Math Question That Went Viral
"One word problem from a Singaporean school exam briefly became the talk of the Internet last weekend."
http://www.theatlantic.com/education/archive/2015/04/the-math-question-that-went-viral/390411/
https://groups.google.com/d/msg/comp.lang.prolog/G6yuaIsI-Cs/SVOlumZUiQoJ
I have put together two solutions in Prolog (in SWI-Prolog, last Julio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0tag:blogger.com,1999:blog-6280170954326023003.post-84813935341663150352015-01-30T17:43:00.000+00:002015-01-30T18:48:45.835+00:00The day we discovered negatronsIt happened on sci.physics...
https://groups.google.com/d/msg/sci.physics/gIwxbAAS3Oo/SOSciNNwtU8JJulio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0tag:blogger.com,1999:blog-6280170954326023003.post-17650480661997989972014-02-26T01:48:00.000+00:002015-01-30T19:03:53.781+00:00Hilbert's impossible hotel"Consider a hypothetical hotel with a countably infinite number of rooms, all of which are occupied. [...] Suppose a new guest arrives and wishes to be accommodated in the hotel. Because the hotel has infinitely many rooms, we can move the guest occupying room 1 to room 2, the guest occupying room 2 to room 3 and so on, and fit the newcomer into room 1." (*)
But we can prove that, if the hotelJulio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com1tag:blogger.com,1999:blog-6280170954326023003.post-32410325798011193912010-08-26T01:13:00.000+01:002015-09-03T15:46:09.231+01:00Se programmo...Professional, un-professional, de-professional, re-professional.
Otherwise, the ins and outs of the pros and cons.
Publicly private.
Bah, intanto lei dorme.Julio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0tag:blogger.com,1999:blog-6280170954326023003.post-36818858178238008362009-07-10T00:16:00.000+01:002015-09-03T15:49:12.508+01:00A semantic space-dimension for the WebHow to give a *sensible* space-dimension to the Web.
This is an open project.
Discussion at:
"A space-dimension to the Web: a combinatorial optimisation problem"
http://groups.google.com/d/topic/sci.math/LNI4DAvSRes/discussion
=== Setting:
Let G be a weighted, directed graph.
Let S be a lattice space for G.
Let M be a physical model for G.
Let U be (the absolute value of) the potential energyJulio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0tag:blogger.com,1999:blog-6280170954326023003.post-786011672811714192008-03-11T09:21:00.000+00:002015-09-03T15:49:29.381+01:00Radical contradictionTechnically speaking,
We have blown up the "root of contradiction" with an _atomic_ bomb.
To the casual philosophers we are, I will show the links below.
To the professional programmer: a crack is not a hack, but a hack is a crack.
Keep up the go(o)d work.
==============================================
Julio Di Egidio
Re: Question about proof by contradiction
Posted: Mar 10, 2008 11:12 AM
Julio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0tag:blogger.com,1999:blog-6280170954326023003.post-77902708561132665332008-03-09T15:42:00.000+00:002015-09-03T15:50:20.119+01:00The unified theory of all we can do with it (seriously)I have posted the following message to the Mathforum yesterday at 4:43 AM (GMT+00). Starting from around 6:00 AM today, the Mathforum has become less and less responsive, until at 8:00 AM it has finally stopped working.
I am reposting the message here (untouched), because at the moment it doesn't appear in any other publicly available sci.math repository.
I have also attached an exchange with Julio Di Egidiohttp://www.blogger.com/profile/11540195413991358140noreply@blogger.com0