Groups
Conversations
All groups and messages
Send feedback to Google
Help
Account
Search
Maps
YouTube
Play
News
Gmail
Meet
Chat
Contacts
Drive
Calendar
Translate
Photos
Duo
Chrome
Shopping
Finance
Docs
Sheets
Slides
Books
Blogger
Hangouts
Keep
Jamboard
Earth
Collections
Arts and Culture
Google Ads
Podcasts
Stadia
Travel
Forms
More from Google
Sign in
Groups
sci.math.symbolic
Conversations
About
sci.math.symbolic
1–30 of 23296
Mark all as read
Report abusive group
0 selected
Nasser M. Abbasi
Sep 25
fyi, updated to George Moseley Murphy ODE test suite using Maple 2021.1 and Mathematica 12.3.1
fyi; A new report is available which gives the result of solving the 2313 differential equations from
unread,
fyi, updated to George Moseley Murphy ODE test suite using Maple 2021.1 and Mathematica 12.3.1
fyi; A new report is available which gives the result of solving the 2313 differential equations from
Sep 25
Nasser M. Abbasi
, …
anti...@math.uni.wroc.pl
20
Sep 19
fyi, a new CAS integration file added. IntegrateAlgebraic
On 9/18/2021 8:22 PM, antispam@math.uni.wroc.pl wrote: > Nasser M. Abbasi <nma@12000.org>
unread,
fyi, a new CAS integration file added. IntegrateAlgebraic
On 9/18/2021 8:22 PM, antispam@math.uni.wroc.pl wrote: > Nasser M. Abbasi <nma@12000.org>
Sep 19
anti...@math.uni.wroc.pl
, …
nob...@nowhere.invalid
8
Sep 18
Yet another integration test
clicliclic@freenet.de <nobody@nowhere.invalid> wrote: > > antispam@math.uni.wroc.pl
unread,
Yet another integration test
clicliclic@freenet.de <nobody@nowhere.invalid> wrote: > > antispam@math.uni.wroc.pl
Sep 18
Dr Huang
Sep 12
input your formula into MathHand.com, click the "semid2D" button for half order diff, click the "integrate2D" button for integral http://mathhand.com
input your formula into MathHand.com, click the "semid2D" button for half order diff, click
unread,
input your formula into MathHand.com, click the "semid2D" button for half order diff, click the "integrate2D" button for integral http://mathhand.com
input your formula into MathHand.com, click the "semid2D" button for half order diff, click
Sep 12
Dr Huang
Sep 11
semi-differentiated and integrated graphically with MathHand.com
semi-differentiated and integrated graphically with MathHand.com some functions cannot be
unread,
semi-differentiated and integrated graphically with MathHand.com
semi-differentiated and integrated graphically with MathHand.com some functions cannot be
Sep 11
Peter Luschny
, …
Dr Huang
3
Sep 11
An integral for the Bernoulli function.
On Sunday, 22 August 2021 at 21:39:09 UTC+10, peter....@gmail.com wrote: > Consider the Bernoulli
unread,
An integral for the Bernoulli function.
On Sunday, 22 August 2021 at 21:39:09 UTC+10, peter....@gmail.com wrote: > Consider the Bernoulli
Sep 11
Dr Huang
Sep 9
update: Examples of Fractional Calculus Computer Algebra System http://drhuang.com/science/mathematics/software/help/example/
update: Examples of Fractional Calculus Computer Algebra System http://drhuang.com/science/
unread,
update: Examples of Fractional Calculus Computer Algebra System http://drhuang.com/science/mathematics/software/help/example/
update: Examples of Fractional Calculus Computer Algebra System http://drhuang.com/science/
Sep 9
Dr Huang
2
Sep 5
updated: math animation with online software MathHand.com 4 pages http://drhuang/index/animation
On Monday, 6 September 2021 at 13:05:46 UTC+10, Dr Huang wrote: > updated: math animation with
unread,
updated: math animation with online software MathHand.com 4 pages http://drhuang/index/animation
On Monday, 6 September 2021 at 13:05:46 UTC+10, Dr Huang wrote: > updated: math animation with
Sep 5
olcott
6
Aug 31
That P(P) of main() halts does not contradict H(P,P)==0 [ exception to the rule ]
On 8/31/2021 4:17 PM, Malcolm McLean wrote: > On Tuesday, 31 August 2021 at 20:11:39 UTC+1, olcott
unread,
That P(P) of main() halts does not contradict H(P,P)==0 [ exception to the rule ]
On 8/31/2021 4:17 PM, Malcolm McLean wrote: > On Tuesday, 31 August 2021 at 20:11:39 UTC+1, olcott
Aug 31
Nasser M. Abbasi
Aug 31
fyi, Elementary algebraic integrals added to CAS integration tests
Fyi, A new CAS integration test, called the "Elementary algebraic" integrals version is now
unread,
fyi, Elementary algebraic integrals added to CAS integration tests
Fyi, A new CAS integration test, called the "Elementary algebraic" integrals version is now
Aug 31
olcott
Aug 30
Re: Airtight proof that H(P,P)==0 is correct [ deficiency of André's reasoning ]
On 8/30/2021 5:00 PM, André G. Isaak wrote: > On 2021-08-30 11:15, olcott wrote: >> On 8/30/
unread,
Re: Airtight proof that H(P,P)==0 is correct [ deficiency of André's reasoning ]
On 8/30/2021 5:00 PM, André G. Isaak wrote: > On 2021-08-30 11:15, olcott wrote: >> On 8/30/
Aug 30
olcott
14
Aug 28
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (possible duplicate)
On 8/28/2021 7:15 AM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (possible duplicate)
On 8/28/2021 7:15 AM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Aug 28
olcott
Aug 23
H(P,P) is computationally distinct from P(P)
// Simplified Linz Ĥ (Linz:1990:319) // Strachey(1965) CPL translated to C void P(u32 x) { if (H(x, x
unread,
H(P,P) is computationally distinct from P(P)
// Simplified Linz Ĥ (Linz:1990:319) // Strachey(1965) CPL translated to C void P(u32 x) { if (H(x, x
Aug 23
olcott
16
Aug 23
How do we know H(P,P)==0 is the correct halt status for the input to H?
On 8/23/2021 12:58 PM, Malcolm McLean wrote: > On Monday, 23 August 2021 at 16:01:23 UTC+1, olcott
unread,
How do we know H(P,P)==0 is the correct halt status for the input to H?
On 8/23/2021 12:58 PM, Malcolm McLean wrote: > On Monday, 23 August 2021 at 16:01:23 UTC+1, olcott
Aug 23
olcott
Aug 20
Updated paper refutes the halting problem proofs
void P2(u32 x) { if (H1(x, x)) HERE: goto HERE; } int main() { Output("Input_Halts = ", H((
unread,
Updated paper refutes the halting problem proofs
void P2(u32 x) { if (H1(x, x)) HERE: goto HERE; } int main() { Output("Input_Halts = ", H((
Aug 20
olcott
Aug 19
How do we know H(P,P)==0 is the correct halt status for the input to H? (H1 copy of H)
To prove that H(P,P)==0 is correct we create an exact copy of H and change P to Call this exact copy:
unread,
How do we know H(P,P)==0 is the correct halt status for the input to H? (H1 copy of H)
To prove that H(P,P)==0 is correct we create an exact copy of H and change P to Call this exact copy:
Aug 19
Dr Huang
Aug 15
what is solution of fractional PDE d^0.5y/dt^0.5=d^0.5y/dx^0.5+y^2 MathHand.com
what is solution of fractional PDE d^0.5y/dt^0.5=d^0.5y/dx^0.5+y^2 MathHand.com
unread,
what is solution of fractional PDE d^0.5y/dt^0.5=d^0.5y/dx^0.5+y^2 MathHand.com
what is solution of fractional PDE d^0.5y/dt^0.5=d^0.5y/dx^0.5+y^2 MathHand.com
Aug 15
olcott
2
Aug 14
How do we know H(P,P)==0 is the correct halt status for the input to H? (HTML for fixed width font)
On 8/14/2021 2:49 PM, dklei...@gmail.com wrote: > On Saturday, August 14, 2021 at 9:06:27 AM UTC-7
unread,
How do we know H(P,P)==0 is the correct halt status for the input to H? (HTML for fixed width font)
On 8/14/2021 2:49 PM, dklei...@gmail.com wrote: > On Saturday, August 14, 2021 at 9:06:27 AM UTC-7
Aug 14
olcott
,
Jeff Barnett
2
Aug 14
Any high school student knowing the x86 language can confirm this:
On 8/14/2021 8:24 AM, olcott wrote: > No one here has ever bothered to assess this they always
unread,
Any high school student knowing the x86 language can confirm this:
On 8/14/2021 8:24 AM, olcott wrote: > No one here has ever bothered to assess this they always
Aug 14
Dr Huang
Aug 13
what is solution of PDE d^2y/dt^2=dy/dx+y^2
what is solution of PDE d^2y/dt^2=dy/dx+y^2 MathHand.com
unread,
what is solution of PDE d^2y/dt^2=dy/dx+y^2
what is solution of PDE d^2y/dt^2=dy/dx+y^2 MathHand.com
Aug 13
olcott
2
Aug 13
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction.
On 8/13/2021 3:58 AM, Malcolm McLean wrote: > On Thursday, 12 August 2021 at 16:50:19 UTC+1,
unread,
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction.
On 8/13/2021 3:58 AM, Malcolm McLean wrote: > On Thursday, 12 August 2021 at 16:50:19 UTC+1,
Aug 13
olcott
39
Aug 12
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ]
On 8/12/2021 3:00 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ]
On 8/12/2021 3:00 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Aug 12
olcott
15
Aug 10
Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0 is correct
On 8/10/2021 10:28 AM, André G. Isaak wrote: > On 2021-08-10 09:07, olcott wrote: >> On 8/9/
unread,
Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0 is correct
On 8/10/2021 10:28 AM, André G. Isaak wrote: > On 2021-08-10 09:07, olcott wrote: >> On 8/9/
Aug 10
olcott
Aug 5
Anyone wanting an actual honest dialogue on the proof that H(P,P)==0 is correct
The x86utm operating system was created so that the halting problem could be examined concretely in
unread,
Anyone wanting an actual honest dialogue on the proof that H(P,P)==0 is correct
The x86utm operating system was created so that the halting problem could be examined concretely in
Aug 5
Dr Huang
2
Aug 3
nonlinear fractional partial differential equation solved by mathHand.com
nonlinear fractional partial differential equation solved by mathHand.com dy^0.5/dt^0.5-dy/dx*y^2=0
unread,
nonlinear fractional partial differential equation solved by mathHand.com
nonlinear fractional partial differential equation solved by mathHand.com dy^0.5/dt^0.5-dy/dx*y^2=0
Aug 3
olcott
10
Aug 2
Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
On 8/2/2021 10:10 PM, Mike Terry wrote: > On 03/08/2021 03:26, olcott wrote: >> On 8/2/2021
unread,
Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
On 8/2/2021 10:10 PM, Mike Terry wrote: > On 03/08/2021 03:26, olcott wrote: >> On 8/2/2021
Aug 2
olcott
Aug 2
Re: Definition of primitive recursive function (wiki) [ H(P,P)==0 is always correct ]
On 8/2/2021 9:01 AM, Charlie-Boo wrote: > wiki: "a primitive recursive function is a function
unread,
Re: Definition of primitive recursive function (wiki) [ H(P,P)==0 is always correct ]
On 8/2/2021 9:01 AM, Charlie-Boo wrote: > wiki: "a primitive recursive function is a function
Aug 2
olcott
Jul 31
Re: The HP does not exist as stated .. [ Simulating halt deciders ]
On 7/31/2021 3:59 PM, Mr Flibble wrote: > .. because it is predicated on an erroneous
unread,
Re: The HP does not exist as stated .. [ Simulating halt deciders ]
On 7/31/2021 3:59 PM, Mr Flibble wrote: > .. because it is predicated on an erroneous
Jul 31
olcott
,
Jeff Barnett
31
Jul 31
Re: Black box halt decider is NOT a partial decider [ paradox rather than contradiction ]
On 7/31/2021 2:23 PM, Richard Damon wrote: > On 7/31/21 11:57 AM, olcott wrote: >> On 7/31/
unread,
Re: Black box halt decider is NOT a partial decider [ paradox rather than contradiction ]
On 7/31/2021 2:23 PM, Richard Damon wrote: > On 7/31/21 11:57 AM, olcott wrote: >> On 7/31/
Jul 31
olcott
Jul 30
Pathological self-reference(Olcott 2004) decider
int Factorial(int n) { Output("Factorial(n)",n); if (n > 1) return n * Factorial(n - 1);
unread,
Pathological self-reference(Olcott 2004) decider
int Factorial(int n) { Output("Factorial(n)",n); if (n > 1) return n * Factorial(n - 1);
Jul 30
