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 ...
Search found 955 matches
- Sun Jun 01, 2014 4:00 am
- Forum: Off Topic
- Topic: Para-consistent logic
- Replies: 111
- Views: 50176
- 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 ...
) 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 ...
- 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 ...
Weren't you banned? In any case, division is defined ...
- 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. 
- 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?
- 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.
- 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 ...
- 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 ...
- 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 ...
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 ...
- 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 ...
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 ...
- 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 ...
- 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 ...
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 ...
- 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 ...
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 ...
- 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 ...
- 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