Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Staff meeting in the conference room in 3 minutes.

tech / sci.math / Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)

SubjectAuthor
* Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)bassam karzeddin
`* Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)Python
 `- Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)bassam karzeddin

1
Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)

<d8a7b8d4-5b75-4ba5-bebc-d7082db0cdd5n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=148855&group=sci.math#148855

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:3b89:b0:658:9fe1:f3f2 with SMTP id nf9-20020a0562143b8900b006589fe1f3f2mr13994qvb.11.1695251431301;
Wed, 20 Sep 2023 16:10:31 -0700 (PDT)
X-Received: by 2002:a9d:7d83:0:b0:6ba:169f:f425 with SMTP id
j3-20020a9d7d83000000b006ba169ff425mr1240099otn.2.1695251431153; Wed, 20 Sep
2023 16:10:31 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!border-2.nntp.ord.giganews.com!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 20 Sep 2023 16:10:30 -0700 (PDT)
In-Reply-To: <5a16f357$0$3861$426a34cc@news.free.fr>
Injection-Info: google-groups.googlegroups.com; posting-host=91.186.226.12; posting-account=WJi6EQoAAADOKYQDqLrSgadtdMk3xQwo
NNTP-Posting-Host: 91.186.226.12
References: <07d8383e-7dd6-4351-983a-03b521b34fb0@googlegroups.com>
<28f616cb-3965-49bc-92ac-78e8021e14ff@googlegroups.com> <a485b129-12ee-4eaa-9047-d31df355866d@googlegroups.com>
<d794928f-cb53-4d47-81f5-e3d4f5708f46@googlegroups.com> <bd4c7e3b-7b9b-4ea2-b9a7-5d17e5d1bf87@googlegroups.com>
<5a16f357$0$3861$426a34cc@news.free.fr>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d8a7b8d4-5b75-4ba5-bebc-d7082db0cdd5n@googlegroups.com>
Subject: Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)
From: b.karzed...@yahoo.com (bassam karzeddin)
Injection-Date: Wed, 20 Sep 2023 23:10:31 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 11
 by: bassam karzeddin - Wed, 20 Sep 2023 23:10 UTC

On Thursday, November 23, 2017 at 6:12:24 PM UTC+2, Python wrote:
> bassam crazy karzeddin wrote:
> > All Irrefutable claims of mine as (Theorems, Conjectures, Formulas,
> > Unsolved puzzles, ...etc) were PUBLISHED FREELY and PROVED RIGOROUSLY
> > here at sci.math and elsewhere by me and by few others for sure
The Liar wrote:
> This is a lie, for sure, wonder.

Show exactly where did I lie youliar?

Bkk

Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)

<uefvte$35n5d$3@dont-email.me>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=148858&group=sci.math#148858

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: pyt...@invalid.org (Python)
Newsgroups: sci.math
Subject: Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)
Date: Thu, 21 Sep 2023 01:40:30 +0200
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <uefvte$35n5d$3@dont-email.me>
References: <07d8383e-7dd6-4351-983a-03b521b34fb0@googlegroups.com>
<28f616cb-3965-49bc-92ac-78e8021e14ff@googlegroups.com>
<a485b129-12ee-4eaa-9047-d31df355866d@googlegroups.com>
<d794928f-cb53-4d47-81f5-e3d4f5708f46@googlegroups.com>
<bd4c7e3b-7b9b-4ea2-b9a7-5d17e5d1bf87@googlegroups.com>
<5a16f357$0$3861$426a34cc@news.free.fr>
<d8a7b8d4-5b75-4ba5-bebc-d7082db0cdd5n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 20 Sep 2023 23:40:31 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="2a20f7057a1704d4a8f2351e41eeedde";
logging-data="3333293"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/GWC4E2F34YXUq7XDzeWnZ"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.3.3
Cancel-Lock: sha1:vJcjAWlrKPOfQoWXlSaZFdbT9yc=
Content-Language: en-US
In-Reply-To: <d8a7b8d4-5b75-4ba5-bebc-d7082db0cdd5n@googlegroups.com>
 by: Python - Wed, 20 Sep 2023 23:40 UTC

Le 21/09/2023 à 01:10, bassam karzeddin a écrit :
> On Thursday, November 23, 2017 at 6:12:24 PM UTC+2, Python wrote:
>> bassam crazy karzeddin wrote:
>>> All Irrefutable claims of mine as (Theorems, Conjectures, Formulas,
>>> Unsolved puzzles, ...etc) were PUBLISHED FREELY and PROVED RIGOROUSLY
>>> here at sci.math and elsewhere by me and by few others for sure
> The Liar wrote:
>> This is a lie, for sure, wonder.
>
> Show exactly where did I lie youliar?

I, and others, did, on everyting you pretend;

Wonder! Wonderer! Wonderest! SURE! SURER! SUREST!

You are a clown bASSam...

Does your family konws?

Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)

<7ef91be9-84fa-4e4a-9ea3-410b212c4596n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=148882&group=sci.math#148882

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:26a7:b0:76d:a57f:6f5a with SMTP id c39-20020a05620a26a700b0076da57f6f5amr73935qkp.3.1695298092317;
Thu, 21 Sep 2023 05:08:12 -0700 (PDT)
X-Received: by 2002:a05:6808:1489:b0:3ac:ae84:4e0f with SMTP id
e9-20020a056808148900b003acae844e0fmr2861441oiw.9.1695298092194; Thu, 21 Sep
2023 05:08:12 -0700 (PDT)
Path: i2pn2.org!rocksolid2!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 21 Sep 2023 05:08:11 -0700 (PDT)
In-Reply-To: <uefvte$35n5d$3@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=91.186.226.12; posting-account=WJi6EQoAAADOKYQDqLrSgadtdMk3xQwo
NNTP-Posting-Host: 91.186.226.12
References: <07d8383e-7dd6-4351-983a-03b521b34fb0@googlegroups.com>
<28f616cb-3965-49bc-92ac-78e8021e14ff@googlegroups.com> <a485b129-12ee-4eaa-9047-d31df355866d@googlegroups.com>
<d794928f-cb53-4d47-81f5-e3d4f5708f46@googlegroups.com> <bd4c7e3b-7b9b-4ea2-b9a7-5d17e5d1bf87@googlegroups.com>
<5a16f357$0$3861$426a34cc@news.free.fr> <d8a7b8d4-5b75-4ba5-bebc-d7082db0cdd5n@googlegroups.com>
<uefvte$35n5d$3@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7ef91be9-84fa-4e4a-9ea3-410b212c4596n@googlegroups.com>
Subject: Re: How to do meta mathematics in a theorem prover (DC Proof, etc..)
From: b.karzed...@yahoo.com (bassam karzeddin)
Injection-Date: Thu, 21 Sep 2023 12:08:12 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2972
 by: bassam karzeddin - Thu, 21 Sep 2023 12:08 UTC

On Thursday, September 21, 2023 at 2:40:41 AM UTC+3, Python wrote:
> Le 21/09/2023 à 01:10, bassam karzeddin a écrit :
> > On Thursday, November 23, 2017 at 6:12:24 PM UTC+2, Python wrote:
> >> bassam crazy karzeddin wrote:
> >>> All Irrefutable claims of mine as (Theorems, Conjectures, Formulas,
> >>> Unsolved puzzles, ...etc) were PUBLISHED FREELY and PROVED RIGOROUSLY
> >>> here at sci.math and elsewhere by me and by few others for sure
> > The Liar wrote:
> >> This is a lie, for sure, wonder.
> >
> > Show exactly where did I lie youliar?
> I, and others, did, on everyting you pretend;
>
> Wonder! Wonderer! Wonderest! SURE! SURER! SUREST!
>
> You are a clown bASSam...
>
> Does your family konws?

You didn't show anything you do claim, where my few posts are there before your eyes, just go immediately to any of my published (proofS, Conjectures, etc) & simply make your refutation or provide a single counter example for my standing Conjectures in number theory

However, this announced challenge wasn't made only for your alikes nor it was made only for academic human mathematickers, but it was publically published to challenge the true intellectuality of ALL intellectual beings on earth 🌎 & in the skies as well, FOR SURE

Let me see you mentally retarded dwarf there ...!

BKK

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor