Search found 955 matches

by SmoothOper
Sun Jun 01, 2014 4:00 am
Forum: Off Topic
Topic: Para-consistent logic
Replies: 111
Views: 50176

Re: Para-consistent logic

Integer division is closed already ( i.e. defined on Z X Z0 ). What you close is some (proto-
) division defined on a specific subset of Z X Z0 ( consisting of the (proto-)dividable tuples ). a is protodivable by b if there is a number c such that bc==a. Thus you generate the rationals. That is ...
by SmoothOper
Sat May 31, 2014 4:40 pm
Forum: Off Topic
Topic: Para-consistent logic
Replies: 111
Views: 50176

Re: Para-consistent logic

Integer division is closed already ( i.e. defined on Z X Z0 ). What you close is some (proto-
) division defined on a specific subset of Z X Z0 ( consisting of the (proto-)dividable tuples ). a is protodivable by b if there is a number c such that bc==a. Thus you generate the rationals. That is ...
by SmoothOper
Sat May 31, 2014 7:40 am
Forum: Off Topic
Topic: Para-consistent logic
Replies: 111
Views: 50176

Re: Para-consistent logic

Anyway has anyone else noticed how ugly, Bill Spight, Dr. Straw, and RB's arguments become when confronted with the fact that division isn't defined over integers? Not to practice apologetics, but it seems that academics have no sense of shame.

Weren't you banned? In any case, division is defined ...
by SmoothOper
Sat May 31, 2014 6:15 am
Forum: Off Topic
Topic: Para-consistent logic
Replies: 111
Views: 50176

Re: Para-consistent logic

Anyway has anyone else noticed how ugly, Bill Spight, Dr. Straw, and RB's arguments become when confronted with the fact that division isn't defined over integers? Not to practice apologetics, but it seems that academics have no sense of shame. :tmbdown:
by SmoothOper
Sun May 18, 2014 4:36 pm
Forum: General Go Chat
Topic: Rational Ranks
Replies: 54
Views: 21804

Re: Rational Ranks

Whew, I've been waiting for this for a while. Dr. straw is that like Dr. Suck?
by SmoothOper
Sun May 18, 2014 1:46 pm
Forum: General Go Chat
Topic: Rational Ranks
Replies: 54
Views: 21804

Re: Rational Ranks

RBerenguel wrote:
If I had a vote, it's clear who'd get it.


Yeah, if I didn't have explain myself to you again, RB, I definitely wouldn't mind, especially because there is some thing not right with you.
by SmoothOper
Sun May 18, 2014 1:17 pm
Forum: General Go Chat
Topic: Rational Ranks
Replies: 54
Views: 21804

Re: Rational Ranks


Oh, I see when there is something wrong with you, its an unintended ambiguity , when other people aren't clear, something is wrong with them , gotcha . We'll see if anyone else chimes in here, pal.
jug has been respected member of the go community for many years - a developer of DGS. English is ...
by SmoothOper
Sun May 18, 2014 11:36 am
Forum: General Go Chat
Topic: Rational Ranks
Replies: 54
Views: 21804

Re: Rational Ranks

So there was something wrong with you, and how you engage people? I think there was an unintended ambiguity in what I said. I apologized for this potential misunderstanding. However I don't think that something is wrong with me or about how I engage people. If you don't accept my apology and think ...
by SmoothOper
Sun May 18, 2014 11:16 am
Forum: Off Topic
Topic: Para-consistent logic
Replies: 111
Views: 50176

Re: Para-consistent logic

@Mike: I don't think you need the axiom of induction for such a proof. Peano 2 is sufficient.

1. n ∈ N -> n' ∈ N; n stands for any possible object of N, precisely: n holds a place for one object out of N that is assumed to be takeable by any object of N. (This is the reason why you can universally ...
by SmoothOper
Sun May 18, 2014 10:51 am
Forum: General Go Chat
Topic: Rational Ranks
Replies: 54
Views: 21804

Re: Rational Ranks

You think this is interesting? There must be something wrong with you.
Maybe you shouldn't go around saying there is something wrong with people when they have a valid argument. You find me puzzled about this accusation, which is the reason I think you misunderstood what I was saying. When I re ...
by SmoothOper
Sun May 18, 2014 10:14 am
Forum: Computer Go
Topic: Game moves statistics, any program for that ?
Replies: 60
Views: 33371

Re: Game moves statistics, any program for that ?

No. You code in whatever language you are told. I had to code in f***ing VB for Applications once, because I had to make something work inside Excel for a client. Ended up doing it in Python and writing a small interaction layer in VBA, no way I'm doing SOAP with VB (not like the SOAP library for ...
by SmoothOper
Sun May 18, 2014 9:15 am
Forum: Computer Go
Topic: Game moves statistics, any program for that ?
Replies: 60
Views: 33371

Re: Game moves statistics, any program for that ?

Quite a big ego to dismiss all VB programmers.

Oh yeah, I get a kick out of pointing out that VB programmers aren't very good, reminds me of the good old days when I graded VB sections as a TA as a service for the business school. Sure there might have been an enthusiastic and intelligent one in ...
by SmoothOper
Sun May 18, 2014 8:53 am
Forum: Computer Go
Topic: Game moves statistics, any program for that ?
Replies: 60
Views: 33371

Re: Game moves statistics, any program for that ?

Quite a big ego to dismiss all VB programmers.

Oh yeah, I get a kick out of pointing out that VB programmers aren't very good, reminds me of the good old days when I graded VB sections as a TA as a service for the business school. Sure there might have been an enthusiastic and intelligent one in ...
by SmoothOper
Sun May 18, 2014 8:32 am
Forum: General Go Chat
Topic: Rational Ranks
Replies: 54
Views: 21804

Re: Rational Ranks


You think this is interesting? There must be something wrong with you. Maybe you shouldn't go around saying there is something wrong with people when they have a valid argument. People might think you are one of those ELO-sers.

I don't know about jug, but there is definitely something wrong with ...
by SmoothOper
Sun May 18, 2014 8:29 am
Forum: Computer Go
Topic: Game moves statistics, any program for that ?
Replies: 60
Views: 33371

Re: Game moves statistics, any program for that ?

RBerenguel wrote:So what? Error handling with gotos, if done well is perfectly fine. Seems like someone drank too much Dijkstra kool-aid.


Done well VB programmers :lol: nah, that wouldn't be quick and easy, if they wanted to do it well they wouldn't use error prone goto.