tea.mathoverflow.net - Discussion Feed (Necessity of induction; between PA- and PA; algorithmic variable ranges) 2018-11-04T23:15:14-08:00 http://mathoverflow.tqft.net/ Lussumo Vanilla & Feed Publisher Anton Geraschenko comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11458) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11458#Comment_11458 2010-12-07T20:49:30-08:00 2018-11-04T23:15:14-08:00 Anton Geraschenko http://mathoverflow.tqft.net/account/2/ Okay, it sounds like everybody wants this thread closed. Okay, it sounds like everybody wants this thread closed.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11445) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11445#Comment_11445 2010-12-07T17:36:07-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ The figurative singular of "the man on the ..." is of course a plural. In economics you have the consumer. A lot depends on the consumer, for example tax input is dependent on consumer ... The figurative singular of "the man on the ..." is of course a plural. In economics you have the consumer. A lot depends on the consumer, for example tax input is dependent on consumer consumption via different factors VAT and industry revenue etc.. You can leave this thread undeleted if you want, I have really nothing to hide, now and in the future.

I am only keeping this thread a little bit alive since it allows me to get known to some of the experts who closed down my questions. I am not sure whether I will use this thread via linking as a future amunition. Since the thread is basically @ad hominem and the original topic really never could shine. I guess this is also the purpose of the thread. To get known to each other.

But closing is the best option, since in case you want to address me, you can do it here: janburse@fastmail.fm.

]]>
Ryan Budney comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11441) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11441#Comment_11441 2010-12-07T17:04:53-08:00 2018-11-04T23:15:14-08:00 Ryan Budney http://mathoverflow.tqft.net/account/107/ Certainly, I agree this thread can serve as a valuable example in the future. So I agree, close but keep is the appropriate action. Alex Bartel comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11440) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11440#Comment_11440 2010-12-07T17:00:07-08:00 2018-11-04T23:15:14-08:00 Alex Bartel http://mathoverflow.tqft.net/account/393/ I think we should just stop feeding the troll, who clearly just enjoys his provocation and is completely incapable of introspection, which makes any sort of progress impossible. I agree that this ... I think we should just stop feeding the troll, who clearly just enjoys his provocation and is completely incapable of introspection, which makes any sort of progress impossible.

I agree that this thread should probably be closed (although not feeding the troll is in my experience almost as efficient a way of getting rid of him), but I don't want it to be deleted, since linking to it might be a fast way of saying "oh, you don't know Jan Burse? Have a look here" in the future.

]]>
Yemon Choi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11439) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11439#Comment_11439 2010-12-07T16:53:33-08:00 2018-11-04T23:15:14-08:00 Yemon Choi http://mathoverflow.tqft.net/account/81/ I think Ryan's last comment may well be right. I was trying to work out how best to respond to the incoherent invocation of "the man on the street who pays your taxes", but suffice it to ... I think Ryan's last comment may well be right. I was trying to work out how best to respond to the incoherent invocation of "the man on the street who pays your taxes", but suffice it to say that if janburse is paying tax to all our respective provinces and countries then this demonstrates either untold wealth or a sub-optimal approach to household finance.

]]>
Ryan Budney comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11435) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11435#Comment_11435 2010-12-07T16:21:39-08:00 2018-11-04T23:15:14-08:00 Ryan Budney http://mathoverflow.tqft.net/account/107/ I *do* agree it would be a good idea to close this thread as it seems like we're not converging on any kind of mutual understanding. If anything this is just getting more degenerate and chaotic. Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11434) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11434#Comment_11434 2010-12-07T16:19:36-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ You can exercise academic freedom, but you must keep quality. You can exercise academic freedom, but you must keep quality.

]]>
Ryan Budney comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11433) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11433#Comment_11433 2010-12-07T16:19:34-08:00 2018-11-04T23:15:14-08:00 Ryan Budney http://mathoverflow.tqft.net/account/107/ @janburse: Whatever your message is, it's not coming across well, in that it fails to be correct, and fails to be understandable. Some people on MO are affiliated with private research institutions. ... Harry Gindi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11432) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11432#Comment_11432 2010-12-07T16:15:53-08:00 2018-11-04T23:15:14-08:00 Harry Gindi http://mathoverflow.tqft.net/account/55/ I guess you're not familiar with the notion of academic freedom. In this situation, it means that you can bugger off if you're not willing to be polite and observe community rules and standards. I guess you're not familiar with the notion of academic freedom. In this situation, it means that you can bugger off if you're not willing to be polite and observe community rules and standards.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11431) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11431#Comment_11431 2010-12-07T16:14:20-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ If MO wants to keep its research label, it must change how it behaves, and be able to demonstrate that it uses best effort and not least effort. In my case MO failed to do this miserably. If MO wants to keep its research label, it must change how it behaves, and be able to demonstrate that it uses best effort and not least effort. In my case MO failed to do this miserably.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11430) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11430#Comment_11430 2010-12-07T16:10:52-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ Since most of you are affiliated with an institution you already serve somebody and you are basically payed by the people on the street, via the money that flows in from the tax. To some extend ... Since most of you are affiliated with an institution you already serve somebody and you are basically payed by the people on the street, via the money that flows in from the tax. To some extend experts are allowed to exercise some authorithy for example when grading students, but this is not the setting in research. When you are in research you are not acting with students, you are doing humble work for your institution, since it pays, and you should respect the other person.

]]>
Harry Gindi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11428) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11428#Comment_11428 2010-12-07T16:00:07-08:00 2018-11-04T23:15:14-08:00 Harry Gindi http://mathoverflow.tqft.net/account/55/ do you gatecrash reading clubs/groups and demand that they explain to you what is going on in The Sound And The Fury? Why do people always mention things that I've done when they're trying to ...

do you gatecrash reading clubs/groups and demand that they explain to you what is going on in The Sound And The Fury?

Why do people always mention things that I've done when they're trying to explain how absurd some given behavior is?!

]]>
Ryan Budney comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11427) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11427#Comment_11427 2010-12-07T15:59:15-08:00 2018-11-04T23:15:14-08:00 Ryan Budney http://mathoverflow.tqft.net/account/107/ Yemon "the voice of reason" Choi. :) By that I mean, "well said". Yemon Choi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11426) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11426#Comment_11426 2010-12-07T15:56:59-08:00 2018-11-04T23:15:14-08:00 Yemon Choi http://mathoverflow.tqft.net/account/81/ Put another way: we are sorry that MO does not cater to your exquisite taste or demand. It is not MO's job to do this. It may well be that it is not MO's wish to do this. It most emphatically is not ... Put another way: we are sorry that MO does not cater to your exquisite taste or demand. It is not MO's job to do this. It may well be that it is not MO's wish to do this. It most emphatically is not MO's obligation to do this. If you need a consultant, or at the other extreme a serf, I wish you good luck in finding one.

]]>
Yemon Choi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11424) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11424#Comment_11424 2010-12-07T15:55:07-08:00 2018-11-04T23:15:14-08:00 Yemon Choi http://mathoverflow.tqft.net/account/81/ @Anton: Please, please, stop provoking me, I can't stand baby talk about so called experts being angry. I dont want to be served by experts that invest the least energy. Nobody does this, when you go ...

@Anton: Please, please, stop provoking me, I can't stand baby talk about so called experts being angry. I dont want to be served by experts that invest the least energy. Nobody does this, when you go to a doctor you don't want fast food.

If anyone is being provocative, it seems to be you. Experts do not want to be asked (told? ordered?) to "serve" people who mistake them for specialist motorcycle mechanics. Your attempted analogy with doctors is absurd: do you gatecrash reading clubs/groups and demand that they explain to you what is going on in The Sound And The Fury?

]]>
Ryan Budney comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11422) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11422#Comment_11422 2010-12-07T15:49:19-08:00 2018-11-04T23:15:14-08:00 Ryan Budney http://mathoverflow.tqft.net/account/107/ @janburse: if you want to speak with Anton and only Anton, you should e-mail him. If you want to keep this thread alive and open and public, you're doing exactly the right thing by contributing to ... Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11420) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11420#Comment_11420 2010-12-07T15:12:48-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @Ryan Budney, I had to respond since @Anton refused to close it. I am still begging to close this thread. But you might have noticed that I want to close this thread, since this thread has a title ... @Ryan Budney, I had to respond since @Anton refused to close it. I am still begging to close this thread.

But you might have noticed that I want to close this thread, since this thread has a title that refers to an issue that does not exist anymore. The original purpose of this thread was to reopen some posed questions.

Since this is not possible on a multitude of reasons, which has now been settled, this thread should be closed. And in my opinion it should be deleted, since too many topics were intermingled, and to follow the different topics in the given format is difficult.

Best Regards

]]>
Ryan Budney comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11418) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11418#Comment_11418 2010-12-07T14:49:18-08:00 2018-11-04T23:15:14-08:00 Ryan Budney http://mathoverflow.tqft.net/account/107/ @janburse: Perhaps the best thing you could do to end this thread would be to stop posting in it. From reading this thread and your original thread, it appears you've had a misunderstanding as to ... Harry Gindi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11417) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11417#Comment_11417 2010-12-07T14:47:35-08:00 2018-11-04T23:15:14-08:00 Harry Gindi http://mathoverflow.tqft.net/account/55/ @janburse: You're the one who's being unprofessional here... @janburse:

You're the one who's being unprofessional here...

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11416) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11416#Comment_11416 2010-12-07T14:29:25-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @Anton: Please, please, stop provoking me, I can't stand baby talk about so called experts being angry. I dont want to be served by experts that invest the least energy. Nobody does this, when you ... @Anton: Please, please, stop provoking me, I can't stand baby talk about so called experts being angry. I dont want to be served by experts that invest the least energy. Nobody does this, when you go to a doctor you don't want fast food.

Since the questions do not exist anymore, this thread does not make any sense anymore. May I therefore kindly ask you for the last time to remove this thread. If Alex wants something to discuss with me he can mail me: janburse@fastmail.fm.

You are welcome to take topics from this thread to open new threads. Maybe you have observed that this thread had a multitude of topics, so its better to start all over individually.

But please consider this discussion as non existent anymore.

Best Regards

]]>
Anton Geraschenko comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11412) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11412#Comment_11412 2010-12-07T12:14:33-08:00 2018-11-04T23:15:14-08:00 Anton Geraschenko http://mathoverflow.tqft.net/account/2/ May I kindly ask you again to close this thread and remove it. I am now pretty sure that this thread leads to absolutely nothing. Could you please also remove my 3 queries. I won't delete this ...

May I kindly ask you again to close this thread and remove it. I am now pretty sure that this thread leads to absolutely nothing. Could you please also remove my 3 queries.

I won't delete this thread. Alex, for example, asked me not to. But I have deleted your three questions as you requested.

It sounds like the basic problem is that you want MO to be a place to formulate questions, rather than a place to post and answer already well-formulated questions. I disagree with this. I think formulating a question is something that should happen privately, or perhaps with help from a small group of people. While you're preparing a question, you can keep it on your hard drive, discuss it on your blog, or even bring it here to meta. By the time you post it to MO, you should have already worked on it.

I think of MO as a very busy expert who has agreed to help me out. I try to pose my question so that the expert can provide the most help with the least energy. If I haven't thought through the question, I'm wasting the expert's time and she will be angry with me.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11409) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11409#Comment_11409 2010-12-07T11:34:42-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ As I said the querying process should be encapsulated in a process where the query goes through the states "inprogress", "inreview" and "released". So that there is time ... As I said the querying process should be encapsulated in a process where the query goes through the states "inprogress", "inreview" and "released". So that there is time to edit and prepare the query as required. And so that people do not prematurely jump on ones other feet.

But this requires some technical means on MO side and some effort of the community. For example the rep points of a community member could be separated into two streams. Whether someone is a good teacher or whether someone is a good problem solver. This is not the same necessarely.

So what I am saying is not contradictory, when I am saying I am going to MO because I find something and when I am saying that I don't want that MO displays something. Since I would go to MO to find queries which are in state "released". And since I would start doing queries in mode "inprogress" which would initially not be visible to the outside.

May I kindly ask you again to close this thread and remove it. I am now pretty sure that this thread leads to absolutely nothing. Could you please also remove my 3 queries.

Thanks in Advance

]]>
Anton Geraschenko comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11405) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11405#Comment_11405 2010-12-07T11:23:02-08:00 2018-11-04T23:15:14-08:00 Anton Geraschenko http://mathoverflow.tqft.net/account/2/ MO poped up in my queries during some of my research. The other sites never poped up. So why should I go there? Do you think I will find something? It sounds like MO popping up in search queries is ...

MO poped up in my queries during some of my research. The other sites never poped up. So why should I go there? Do you think I will find something?

It sounds like MO popping up in search queries is one of your main objections against it.

The problem is that MO does take the business of posting queries to the outside very quickly. And I have no control whats ever. For example my very first query poped up on top on google when I was entering some of the salient key words. And this makes your process so embarassing. I don't know whether you have any sensibility for that.

MO is meant to be a professional forum. You are expected to think carefully about your question before posting it. See http://mathoverflow.net/howtoask.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11400) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11400#Comment_11400 2010-12-07T10:31:59-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @Will Jagy As I have describe initially how I landed here, MO poped up in my queries during some of my research. The other sites never poped up. So why should I go there? Do you think I will find ... @Will Jagy

As I have describe initially how I landed here, MO poped up in my queries during some of my research. The other sites never poped up. So why should I go there? Do you think I will find something?

Bye

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11399) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11399#Comment_11399 2010-12-07T10:18:59-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @WilliWong: I am very happy that you mention this: contribution to the website, and your "threat" above to just take your business elsewhere due to our "oppression" of you ... @WilliWong:

I am very happy that you mention this:

contribution to the website, and your "threat" above to just take your business elsewhere due to our "oppression" of you that casts a "bad light" on this community. Perhaps you ought to re-read Alex Bartel's comment and re-think your audacity in joining a community just to agitate for change within 48

The problem is that MO does take the business of posting queries to the outside very quickly. And I have no control whats ever. For example my very first query poped up on top on google when I was entering some of the salient key words. And this makes your process so embarassing. I don't know whether you have any sensibility for that.

Therefore I am advocating a "inprogress" mode for queries and a "inreview" mode for queries. The "inprogress" queries should have the attribute "noindex" set in their page. So that not only MO-ers which are not interested do not find me, but also people from the outside.

Whether a requirement that I am proposing is moot or not is not relevant. If you don't have the means at the moment to implement a requirement, then pitty, maybe you can propose a workaround somehow. At least you should take note, if you care. Do you have a known problems page BTW?

Also in the first place I had already pasted my very first query elsewhere, interestingly I got a prompt answer. If you want that I don't discuss my experience with MO somewhere else, you would need a corresponding clause in your usage agreement. Maybe you have that somewhere, I don't know.

Maybe discussing else shows a certain insensibility of me. Could be. But it mirrors the way MO seems to embarass people and how insensible MO is concerning this embarassement.

Bye

]]>
Will Jagy comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11396) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11396#Comment_11396 2010-12-07T08:38:07-08:00 2018-11-04T23:15:14-08:00 Will Jagy http://mathoverflow.tqft.net/account/208/ Jan, try http://math.stackexchange.com/ http://www.artofproblemsolving.com/Forum/index.php http://stackoverflow.com/ http://www.physicsforums.com/ http://stats.stackexchange.com
http://math.stackexchange.com/

http://www.artofproblemsolving.com/Forum/index.php

http://stackoverflow.com/

http://www.physicsforums.com/

http://stats.stackexchange.com]]>
WillieWong comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11393) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11393#Comment_11393 2010-12-07T07:44:20-08:00 2018-11-04T23:15:14-08:00 WillieWong http://mathoverflow.tqft.net/account/288/ And there you go again: throughout this thread I see you starting a post denying doing X in the first paragraph, then continue to do exactly X. How is your advocacy not a quest to get us to abandon ... And there you go again: throughout this thread I see you starting a post denying doing X in the first paragraph, then continue to do exactly X. How is your advocacy not a quest to get us to abandon the status quo?

Your most recent post is a suggestion / demand (depending on how I want to read the word "should") that we, the MO community, change our pretty well-working process to conform to one that you personally find more acceptable. This is especially farcical considering your (currently) rather limited contribution to the website, and your "threat" above to just take your business elsewhere due to our "oppression" of you that casts a "bad light" on this community. Perhaps you ought to re-read Alex Bartel's comment and re-think your audacity in joining a community just to agitate for change within 48 hours.

Aside from the fact that the process is largely driven by software out of our control (so any discussion of change is ultimately moot in short-term considerations), even if we were to have control of the underlying software, why do you think the community should "fix" a process that just ain't broken to begin with?

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11392) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11392#Comment_11392 2010-12-07T06:50:34-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ From sleepless in beantown: The copyright message does not bother me; everyone posting here, and everyone in the USA creating any content at any time since 1978, has copyright on their own content, ... From sleepless in beantown: The copyright message does not bother me; everyone posting here, and everyone in the USA creating any content at any time since 1978, has copyright on their own content, even if they do not affirmatively assert copyright in a notice along with that content (not true of content created prior to 1978, or so, I'm not your lawyer blah-blah). What is bothersome is entering a locus with known rules and guidelines for civility+behavior as pointed out in the FAQ (top and center of every MO page) and ignoring all of these rules and asking everyone to follow along.

My new posts: No No I am not asking anybody to ignore any guidelines. But I guess hasty closing of queries is not the solution. There should be proper review process in place, with states "inprogress", "inreview" etc.. Otherwise the online editing is not needed, and you can simply upload elsewhere reviewed queries via ftp. This way how it is now done, is just embarassing newbees and even sometimes already existing contents. This is my current thinking now, that there is something wrong with the invitation to post queries and the magic of having high reps directly closing.

Doubtful articles in state "inprogress" or "inreview" should appear on differnt lists, so that people who are only willingly to work on ripe posts can ignore them. And people who are willingly to help out can devote their time to the other. But currently the way it is done is a no go for researches and practicioner that are used to more direct communication.

The review process can be refined as follows. It should not breed dependent question authors, but instead promote that question authors can formulate their queries without the help of others. So after the author has reached a certain rep, he can choose on his own whether he wants to directly release an article or first put in state inprogress. But initial authors with low rep should not have this option.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11387) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11387#Comment_11387 2010-12-07T00:41:26-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ Let me point out to you that you have arrived here a couple of hours ago and are telling people what MO should and what it shouldn't do. You haven't even observed the local customs, according ...

Let me point out to you that you have arrived here a couple of hours ago and are telling people what MO should and what it shouldn't do. You haven't even observed the local customs, according to your own admission. Please contemplate these last two sentences.

Actually you are interpreting my posts wrong. I just want to find out what are the boundaries concerning the copyright here. And I do this in asking or declaring my intentions in first person sentences. Reason for doing it like this, economy of the posts, I don't need 10 pages to express my questions, using millions of parabolas etc.. I am astonished that even in this thread some content style analysis is done, diverting from the issue.

I can understand that content style is important for the articles given a certain goal how they should be perceived. But all this content style meta comments do not contain much information. What would be interesting here would for example some statistics from the MO owners about their usage and user profiles. Do they know how much people from private are here, how much people from academia?

Any statistics about the demographics, besides the funding scheme? And of course it could be related the demographics and the refusal of articles. Further what interests me, are there some simulations around of the rep model? Are there possible abuses, like rep pumps? Etc.. millions interesting questions.

Bye

]]>
Anton Geraschenko comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11385) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11385#Comment_11385 2010-12-06T22:10:57-08:00 2018-11-04T23:15:14-08:00 Anton Geraschenko http://mathoverflow.tqft.net/account/2/ +1 Alex. I cannot further cooperate since this is unpaid work. You can contact me for paid outside of this forum. What exactly is the service that we've been given a sample of? It's hard for me ... +1 Alex.

I cannot further cooperate since this is unpaid work. You can contact me for paid outside of this forum.

What exactly is the service that we've been given a sample of? It's hard for me to imagine any culture (even in the private sector) where it customary to charge people for the privilege of listening to you asking them for help?

@Scott Morrison, Anton Geraschenko: Question: Is there an opt out possibility, i.e. to retract from the licensce later on, will then all articles, especially answers, that one has created be deleted, what happens with the backlinks...

What is it that you're trying to opt out of? When you post on MO (or SO, or math.SE, or ...), you retain the copyright to your words, but license them under the cc-sa license. You can only opt out of this by deciding not to use those sites. You can use another license later if you wish, but that doesn't change the fact that you released them under the cc-sa license, so people will still be able to use anything you wrote under the terms of that license.

So all articles are infinitely editable... Right? I don't know the state machine of the things. I am deducing that answers get closed from what I saw. But questions what do they get? I don't know. You see nobody answered my questions until now. How can I know. Would need to observe somebodies else question... Or read some FAQ.

I suspect I know whatever information you're looking for, but I can't parse this post. It sounds like you've come up with some other way to find that information.

]]>
Alex Bartel comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11382) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11382#Comment_11382 2010-12-06T20:46:47-08:00 2018-11-04T23:15:14-08:00 Alex Bartel http://mathoverflow.tqft.net/account/393/ @janburse You didn't start this thread and I don't see why it should be deleted at your whim. You might not find anything useful in it, but I do and I would like to ask Anton not to delete it. I ... @janburse You didn't start this thread and I don't see why it should be deleted at your whim. You might not find anything useful in it, but I do and I would like to ask Anton not to delete it.

I think you may have realised this already, but just in case, I will spell out some observations: there is a "culture shock" going on here. The attitude that you are displaying regarding copyright, "ownership" of words, intellectual merit of questions and answers, payment for services and many other things is pretty alien to working mathematicians who are not in the private sector and who happen to constitute the vast majority of users of this site. Your behaviour can be compared to that of a Westerner who goes to Japan, enters the hosts' house in his boots, uses the table napkin to clean his nose and talks loudly about a quarrel between a Republican and a Democratic governor, as reported in the latest New York times, while the Japanese hosts are trying hard to enjoy their tea and sometimes to politely point out to the guest that he is misbehaving.

Let me point out to you that you have arrived here a couple of hours ago and are telling people what MO should and what it shouldn't do. You haven't even observed the local customs, according to your own admission. Please contemplate these last two sentences.

You will be surprised to learn that the MO-community is much more homogeneous in their attitudes and their outlook on mathematics than you may be used to from the private sector, where the word "mathematics" itself can mean all sorts of things. So there is fairly little serious disagreement about what the active users want MO to be. The little disagreement that there is is usually settled in a different language and a different tone from the one you are employing.

Please don't feel offended by this post, all this is meant as a piece of friendly advise of something that is obvious to everybody on this forum, but might not be obvious to you, just like the misbehaviour wouldn't be obvious to the Westerner in my little (slightly exaggerated) parabola. I will leave it at that and will let you draw your own conclusions about a good future course of action, or let you fail to do so, as the case may be.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11378) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11378#Comment_11378 2010-12-06T18:09:14-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @Anton Geraschenko: Please close/delete this thread, there is nothing in it, which could be useful to keep for the past. @Anton Geraschenko: Please close/delete this thread, there is nothing in it, which could be useful to keep for the past.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11377) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11377#Comment_11377 2010-12-06T17:15:16-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ Aktually MO seems not be always dead serious. Here is a nice ... Aktually MO seems not be always dead serious. Here is a nice example:

http://mathoverflow.net/questions/22299/what-are-some-examples-of-colorful-language-in-serious-mathematics-papers/22455#22455

How did this pass the research criteria? Since two examples where put into the question teaser?

Interesstingly the following was closed: http://mathoverflow.net/questions/7155?sort=votes&page=1#sort-top

Maybe the problem with MO right now is, that it does not have an alt section. Like the newsgroups have, everything is drop dead serious, and there is no room for (re-)creation, for experimenting etc.. Does a real life math department look like this?

Is the homo ludens excluded from MO? What view has MO of current day research? I think games have a big tradition in math and it would be an error to promote anemic math on MO. The media that we have here could also be used for a more playful math. I think it is also partly, I have seen some posts with diagrams etc..

Maybe can use the tag soft-question for one of my questions... But not happy with it... I have another idea...

Bye

]]>
Harry Gindi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11376) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11376#Comment_11376 2010-12-06T17:09:50-08:00 2018-11-04T23:15:14-08:00 Harry Gindi http://mathoverflow.tqft.net/account/55/ Gasp! ^ (Should be read as me literally shouting the word, "Gasp!") Gasp!
^ (Should be read as me literally shouting the word, "Gasp!")

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11375) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11375#Comment_11375 2010-12-06T17:08:01-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ Well there is an undelete (sic!).http://tea.mathoverflow.net/discussion/792/deleted-questions-with-possibly-substantive-answers/#Item_0But again conflicting goals. Since the delete of the questionis ... http://tea.mathoverflow.net/discussion/792/deleted-questions-with-possibly-substantive-answers/#Item_0

But again conflicting goals. Since the delete of the question
is cascading, so undelete can save worthy answers.

Bye]]>
Harry Gindi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11374) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11374#Comment_11374 2010-12-06T17:03:33-08:00 2018-11-04T23:15:14-08:00 Harry Gindi http://mathoverflow.tqft.net/account/55/ Or read some FAQ. This is never a bad idea.

Or read some FAQ.

This is never a bad idea.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11373) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11373#Comment_11373 2010-12-06T16:49:42-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ So all articles are infinitely editable... Right?I don't know the state machine of the things. Iam deducing that answers get closed from whatI saw. But questions what do they get? I don'tknow. You ... I don't know the state machine of the things. I
am deducing that answers get closed from what
I saw. But questions what do they get? I don't
know. You see nobody answered my questions
until now. How can I know. Would need to observe
somebodies else question... Or read some FAQ.]]>
Harry Gindi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11372) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11372#Comment_11372 2010-12-06T16:43:18-08:00 2018-11-04T23:15:14-08:00 Harry Gindi http://mathoverflow.tqft.net/account/55/ You should probably ask your lawyer, but make sure not to post here in the meantime. It would be really unfortunate if someone posted here only to decide to retract the post and screw up all of the ... You should probably ask your lawyer, but make sure not to post here in the meantime. It would be really unfortunate if someone posted here only to decide to retract the post and screw up all of the links.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11371) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11371#Comment_11371 2010-12-06T16:41:40-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @Scott Morrison, Anton Geraschenko: Question: Is there an opt out possibility, i.e. to retract from the licensce later on, will then all articles, especially answers,that one has created be deleted, ... i.e. to retract from the licensce later on, will then all articles, especially answers,
that one has created be deleted, what happens with the backlinks...]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11369) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11369#Comment_11369 2010-12-06T16:14:42-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ What do you mean by "Expecting anything more than credit"? Having a personal footer, or something else?BTW, I guess the answers are copyrighted already and at thesame time you have ... Having a personal footer, or something else?

BTW, I guess the answers are copyrighted already and at the
same time you have given some rights to MO. Since you are
require to backlink to the content and also to the authors,
by the backlink policy, and you allow them remix etc... But
then a part of you is locked into the MO system then.

What is this remix thing, are they allowed to make virtual
books? Give them away for *free*?]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11368) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11368#Comment_11368 2010-12-06T16:12:04-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ HiOk, interesting point (MO<>MS). Did research this a little bit.Well they use the same lincense, for example math.stackexchange.com (MS) uses Attribution-ShareAlike 2.5 Generic and ...
Ok, interesting point (MO<>MS). Did research this a little bit.

Well they use the same lincense, for example
math.stackexchange.com (MS) uses Attribution-ShareAlike
2.5 Generic and mathoverflow.net (MO) uses Attribution-ShareAlike
3.0 Unported. Just different versions. Reading, they require back links!
WoW, MS does not allow nofollow where MO allows nofollow.

MS mentions the individual:

"Attribution to the website, and more importantly, to the
individuals who so generously contributed their time to
create that content in the first place!" - from the Attribution Info Page

MO does not do it anymore:

- Nothing on the similar page...

MS has a company:

- Mentioned in the footer

MO has a sponsor:

http://math.stanford.edu/~vakil/files/mathoverflownotices.pdf

But I guess "other stack sites", is valid in as far:

"MathOverflow’s underlying software is Stack Exchange,
the engine behind the wildly successful programming site
Stack Overflow." from the PDF

Best Regards]]>
Harry Gindi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11366) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11366#Comment_11366 2010-12-06T15:50:38-08:00 2018-11-04T23:15:14-08:00 Harry Gindi http://mathoverflow.tqft.net/account/55/ I refuse. Mathoverflow is not "other stack sites", which have claimed to be "Usenet for web 2.0", and has never claimed to want to replicate usenet functionality. I suggest that ... I refuse.

Mathoverflow is not "other stack sites", which have claimed to be "Usenet for web 2.0", and has never claimed to want to replicate usenet functionality. I suggest that you bring your contributions to Math.SE, where the administrators might be more flexible regarding the "usenet-like" functionality you are requesting.

I (and I'm sure most others here) do not want to be a part of a site where people do things like copyright answers. If anyone wants to make use of an MO answer in a paper, then the ethics of academia require that the work be cited. Expecting anything more than credit, I think, is both immoral and damaging to the community.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11365) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11365#Comment_11365 2010-12-06T15:48:05-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ I think MO and other stack sites should allow a user configurationthat the user can edit, which is kind of a text footer, that is included in the content of the page, and not only the icon/name box ... that the user can edit, which is kind of a text footer, that is included
in the content of the page, and not only the icon/name box somewhere
remote of the content.

Usenet you can also configure footers. But they have become less
popular because of spamming. But nevertheless, I think MO
and other stack sites are quite unique now, because of their
depersonalization of content.]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11364) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11364#Comment_11364 2010-12-06T15:44:44-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ Take for example a page from WolframMathWorld:http://mathworld.wolfram.com/MultivariatePolynomial.htmlWhat do you see at the footer?Does this impede the use of the site for you?Best Regards
http://mathworld.wolfram.com/MultivariatePolynomial.html

What do you see at the footer?
Does this impede the use of the site for you?

Best Regards]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11363) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11363#Comment_11363 2010-12-06T15:35:44-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ I not sure how I can protect my content. In computer science it is easier. Forexample in code snippets you can place multiple comment lines with all kindof information, also require that it is not ... example in code snippets you can place multiple comment lines with all kind
of information, also require that it is not removed.

Here you get peer pressure to not but a single copyright line. The peer pressure
has nothing to do with the license, since the license and I guess also the
general posting rules allow putting the copyright line.

Please note it is a personal copyright line, I don't refer to some company or
some product. Also in scientific texts it is somethings accustom to have
an acknowledges intro or extro, so I thinking about how doing this.

My goal is not to have depersonalized content, as long as the whole work
is done by me: fighting hasty comments, fighting closing, fighthing tag
removal, etc.. This is a lot of work, and I already spend the last 3 days,
and I didn't get an answer.

If it would happen that a question is really shaped by the community,
I would remove my copyright. But in the initial phase questions are probably
not in this shape. Also only a few people have edit rights on the question,
so the question is not the same as a wiki page, with multiple authors.

Multiple authors can come in, in the answers. Which I cannot claim to
have copyright. If this input causes me to change the question or make
new questions I can cross reference here via links. And of course use
methods of citation. This will also preserve each others copyright.

Bye]]>
Scott Morrison comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11360) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11360#Comment_11360 2010-12-06T15:22:07-08:00 2018-11-04T23:15:14-08:00 Scott Morrison http://mathoverflow.tqft.net/account/3/ @janburse, if you're not happy with the licensing used at MathOverflow, please delete your content. @janburse,

if you're not happy with the licensing used at MathOverflow, please delete your content.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11359) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11359#Comment_11359 2010-12-06T15:14:45-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ I would learn something from MO, if my questions would be answered, but all that happend until now they got closed! but all that happend until now they got closed!]]> Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11358) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11358#Comment_11358 2010-12-06T15:09:37-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @WilliWong:I do not have to account that my PA does comply with some standards or not,since there are competing formulations, used for different ends. I was using the formulation from the following ...
I do not have to account that my PA does comply with some standards or not,
since there are competing formulations, used for different ends. I was using
the formulation from the following paper:

On The Independence of Goodsteins' Theorem,
Justin T. Miller, April 30, 2001

From this paper I borrowed the approach to introduce
+ as a function symbol, that is introduced later. I
did then an adaptation to Edmund Landau, who does
not use zero.

Common practice in math is when there are competing formulations, to do
exactly what I did. To use the name and then cite the definition explicitly
to make sure what is really meant by the name.

I think the premisse here, that I can learn something from MO, especially
in this thread is wrong. Of course I could place a million of references
into my posting, so as to blow it up. But this diverts the reader from the
essential. The beauty of the peano axioms is, that they are a few, and
nevertheless the create a certain complexity.

Best Regards]]>
Yemon Choi comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11357) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11357#Comment_11357 2010-12-06T14:58:55-08:00 2018-11-04T23:15:14-08:00 Yemon Choi http://mathoverflow.tqft.net/account/81/ I remain to be convinced that jb's phrasing on this thread sheds a good light on whatever cause he feels he must champion... I remain to be convinced that jb's phrasing on this thread sheds a good light on whatever cause he feels he must champion...

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11356) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11356#Comment_11356 2010-12-06T14:54:41-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @ZevChonoles: Closing questions is not shaping the formulation of a question. If you lookat the questions so far the only contribution in shaping the question wasmade by one guy named Arthuro ...
Closing questions is not shaping the formulation of a question. If you look
at the questions so far the only contribution in shaping the question was
made by one guy named Arthuro Magidin, which I have also credited in
the footer. The rest was oppression.

So this does not shed a good light on the community.

Bye]]>
Zev Chonoles comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11355) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11355#Comment_11355 2010-12-06T14:49:53-08:00 2018-11-04T23:15:14-08:00 Zev Chonoles http://mathoverflow.tqft.net/account/123/ You can't cooperate - with the people trying to help you formulate your question well, and get it answered on MO, which is already free - because you are not being paid for it. I'm speechless. You can't cooperate - with the people trying to help you formulate your question well, and get it answered on MO, which is already free - because you are not being paid for it. I'm speechless.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11354) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11354#Comment_11354 2010-12-06T14:42:15-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @WillWong:&gt; Also, since the question, once fixed up, may be able to stand alone as a valid question, &gt; you may also want to remove the link to the previous closed version. And as a ...
> Also, since the question, once fixed up, may be able to stand alone as a valid question,
> you may also want to remove the link to the previous closed version. And as a matter of
> personal taste, I would prefer it if you remove the copyright claim on the bottom, since
> by posting on MO you already implicitly agreed to allow MO and users to re-distribute the
> content using a CC license.

This is exactly what I want to prevent, a depersonalization of query. If this is the goal
of MO, I cannot cooperate. I have already cooperated in so far as I did not mention my
commercial affiliation in my profile. But I cannot further cooperate since this is unpaid work.
You can contact me for paid outside of this forum.

Bye]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11353) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11353#Comment_11353 2010-12-06T14:39:19-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ @WilliWong: You were asking for the intellectual merits of questions. I have given my romantic view. What is your view? Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11352) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11352#Comment_11352 2010-12-06T14:37:22-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ But I noticed differences between math.stackexchange.com (MS) and mathoverflow.net (MO), when I post an URL in MS it automatically fetches the title of it and displays it as a link. MO does not do ...
This relates to vagueness in questions. What I would like to do when posing a question, I would like to introduce common things via links. For example FOL= and PA, this can be easily linked to some wiki pages etc.. But the current system does not allow me to enter more than one link since I have not enough credits. To prevent spam.

So there are conflicting goals.

Bye]]>
WillieWong comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11351) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11351#Comment_11351 2010-12-06T14:36:57-08:00 2018-11-04T23:15:14-08:00 WillieWong http://mathoverflow.tqft.net/account/288/ You know what, janburse? You are not going to get anywhere with this. With arrogant comments like Motivation and non-vaguness are not important for the true seeker. and open refusals to take ... You know what, janburse? You are not going to get anywhere with this. With arrogant comments like

Motivation and non-vaguness are not important for the true seeker.

and open refusals to take suggestions, why should we even care about helping you? With every comment you post, the more I feel like my time trying to play peacemaker and advocate your cause has been completely wasted.

]]>
peter.krautzberger comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11350) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11350#Comment_11350 2010-12-06T14:36:24-08:00 2018-11-04T23:15:14-08:00 peter.krautzberger http://mathoverflow.tqft.net/account/427/ @Roy Maclean. A Q&amp;A site is most likely not the right tool. My comment was not &quot;against MO&quot;, it was just an idea on how to prevent similar discussions. A dedicated sister ...
A dedicated sister site along those lines could help a lot with problems like closing debates.]]>
WillieWong comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11349) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11349#Comment_11349 2010-12-06T14:31:40-08:00 2018-11-04T23:15:14-08:00 WillieWong http://mathoverflow.tqft.net/account/288/ @janburse: in view of Carl's comments above, I have two suggestions Make clear in the statement of the question that your definition of PA- does not agree with standard/common notation, and point ... @janburse: in view of Carl's comments above, I have two suggestions

  • Make clear in the statement of the question that your definition of PA- does not agree with standard/common notation, and point the reader to definitions below. This will forestall any confusion.

  • Please give a short description of why the question is interesting and "not of no relevance".

(It is always important to sell your question to the crowd, to make experts who may be able to provide you with an answer, but who do not have the answer readily available, care enough to figure out the solution.)

Once you do that I think it may be possible to convince the requisite number of voters to re-open the question.

Also, since the question, once fixed up, may be able to stand alone as a valid question, you may also want to remove the link to the previous closed version. And as a matter of personal taste, I would prefer it if you remove the copyright claim on the bottom, since by posting on MO you already implicitly agreed to allow MO and users to re-distribute the content using a CC license.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11348) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11348#Comment_11348 2010-12-06T14:26:22-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ I would not formalize the posing of questions too much. I guess it varies very much how questions &quot;can&quot; be posed from area to area, and there should not really be a how questions ... WillieWong comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11347) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11347#Comment_11347 2010-12-06T14:21:55-08:00 2018-11-04T23:15:14-08:00 WillieWong http://mathoverflow.tqft.net/account/288/ If you are not sure whether a question is of a suitable form (in content and in style), you can always ask first here on Meta to seek suggestions on how to formulate them. Unfortunately (?) we do ... If you are not sure whether a question is of a suitable form (in content and in style), you can always ask first here on Meta to seek suggestions on how to formulate them.

Unfortunately (?) we do not advertise this fact to new users. So it has to be pointed out every now and then.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11346) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11346#Comment_11346 2010-12-06T14:20:49-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ The intellectual merit of a question is its answer or its lack of. And the joy begins then. When the seeker has received a further gift although still knowing that his quest will never end. ... Roy Maclean comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11344) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11344#Comment_11344 2010-12-06T14:13:04-08:00 2018-11-04T23:15:14-08:00 Roy Maclean http://mathoverflow.tqft.net/account/306/ &quot;there's no place where people can ask for help formulating a question&quot;If there is a market for a sort of preMO, problem factory or math-ante-room.net, then is a Q&amp;A site ...
If there is a market for a sort of preMO, problem factory or math-ante-room.net, then is a Q&A site the right format, or a more discussion-based threaded forum ?]]>
peter.krautzberger comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11343) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11343#Comment_11343 2010-12-06T13:58:37-08:00 2018-11-04T23:15:14-08:00 peter.krautzberger http://mathoverflow.tqft.net/account/427/ a) I fully agree with Carl's assessment. It's a question now but it's still very vague and unmotivated.b) It seems worthwhile to point out that everything posted by users on MO is under creative ...
b) It seems worthwhile to point out that everything posted by users on MO is under creative commons share-alike license.

c) The "history" of two closed questions probably had something to do with the trigger happy closing votes, so one should not take it too personal.

This is imho a more general problem of MO -- there's no place where people can ask for help formulating a question (this question might not be a good example though). I have heard from grad students that is a key reason not to ask questions on MO.]]>
Carl Mummert comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11342) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11342#Comment_11342 2010-12-06T13:24:32-08:00 2018-11-04T23:15:14-08:00 Carl Mummert http://mathoverflow.tqft.net/account/266/ I left a comment on one of the original questions, which did not include definitions but accidentally re-used the standard notation $PA^-$ for something else. I read the question as using the usual ... Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11340) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11340#Comment_11340 2010-12-06T13:04:22-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ The copyright footer is critized. The genesis of the copyright footer goes along the following lines. 20 years ago I was posting some *free* software. The internet was not yet ripe, so I physically ...
Since then similar things happened over and over and the internet does not make the situation simpler. So I read the licencse here and some faq, and deduced from what I read that the site applies a default way of noting the author BECAUSE the authors usually do not prescribe a way how their work should be noted.

Since this default way is not clearly specified for now and for the future and since I am free as an author to prescribe the way how my work is noted as part of the license, I do note my work via a copyright footer. My copyright footer is harmless, its a one liner. It could be much worse.]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11338) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11338#Comment_11338 2010-12-06T12:50:26-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ Actually a question can be criticized for inconsistency, and maybe for trivial solutions. But all comments I have seen so far were only related to clarifications or fooling around, and we could not ... WillieWong comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11336) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11336#Comment_11336 2010-12-06T12:40:02-08:00 2018-11-04T23:15:14-08:00 WillieWong http://mathoverflow.tqft.net/account/288/ @janburse: don't take it too personally. The "process" that lead to the "collective close down" does not exist as such. Users with sufficiently high reputations are allowed to ... @janburse: don't take it too personally. The "process" that lead to the "collective close down" does not exist as such. Users with sufficiently high reputations are allowed to vote to close questions they personally think as inappropriate, and once a question has amassed 5 votes (or 1 from a moderator), it will be closed. Ideally we encourage people who vote to close questions to leave a comment on why the quetsion is inappropriate to this website. Sometimes that encouragement is not necessarily followed. What you see in the "visible" discussion is basically the same as what everyone else sees (except that people with the power to vote also see the number of votes, but not the identities of the voters, on a current question).

So no, there is no secret kabal or oppression. In general you may find many similar names closing questions in one fixed topic because, well, we do have limited number of experts in each specialty.

Also: since this thread is meant for you to make a case about why you think the question should be re-opened, you may want to focus less on complaining about the process and more on giving the intellectual merit of your questions. Granted, since none of the people who voted to close have so far appeared to explain their reasons, it may be a tad difficult for you to address the criticisms yes. But you may want to try to extrapolate from the comments to your questions and give a pre-emptive defence anyway.

]]>
WillieWong comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11335) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11335#Comment_11335 2010-12-06T12:33:58-08:00 2018-11-04T23:15:14-08:00 WillieWong http://mathoverflow.tqft.net/account/288/ @andrescaicedo: can you elaborate a bit more, Andres? I do not know hardly anything about the topic in discussion, so cannot form my own opinions. But even I can tell, based on your votes, that you ... @andrescaicedo: can you elaborate a bit more, Andres? I do not know hardly anything about the topic in discussion, so cannot form my own opinions. But even I can tell, based on your votes, that you don't think the questions are research level. Evidently the OP thinks differently, or else the discussion wouldn't have been brought to Meta. I think it would help if you can explain to the OP why the question is not at a level to this website.

]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11329) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11329#Comment_11329 2010-12-06T11:36:19-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ The MO FAQ is a little ambivalent about the following point: MO saves the day. When you're stuck, you can come to MathOverflow and say &quot;I'm trying to do X. How can I do that? Does this work? ...
I was actually attacted to MO and the like, because I observed that my searches on some topics more and more yielded results on MO. So in many instances I got results from MO before Wikipedia. Probably MO can react more directly and on another level than a Wikipedia. So I decided to try to become a user of MO as well so.

Currently I am not sure whether it is "cool", since I feel opressed here.]]>
Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11328) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11328#Comment_11328 2010-12-06T11:28:21-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ The FAQ says that research level questions are questions that you come across when you are reading &quot;graduate level books&quot;. I have spend 8 years in research. If you want I can give ... Countably Infinite comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11325) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11325#Comment_11325 2010-12-06T11:21:04-08:00 2018-11-04T23:15:14-08:00 Countably Infinite http://mathoverflow.tqft.net/account/446/ I put comments into the questions to counter argue many of the claims made by some posters. Since I do not see the process that leads to a collective close down, I cannot do more than argue with what ... Andres Caicedo comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11324) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11324#Comment_11324 2010-12-06T11:20:25-08:00 2018-11-04T23:15:14-08:00 Andres Caicedo http://mathoverflow.tqft.net/account/251/ I voted to close because these questions are not research level. None of the edits they have suffered has changed my mind. Anton Geraschenko comments on "Necessity of induction; between PA- and PA; algorithmic variable ranges" (11323) http://mathoverflow.tqft.net/discussion/814/necessity-of-induction-between-pa-and-pa-algorithmic-variable-ranges/?Focus=11323#Comment_11323 2010-12-06T11:14:43-08:00 2018-11-04T23:15:14-08:00 Anton Geraschenko http://mathoverflow.tqft.net/account/2/ http://mathoverflow.net/questions/48384/proving-that-induction-is-not-only-sufficient-but-also-necessary-closed http://mathoverflow.net/questions/48410/sensible-theory-between-pa-and-pa-that-has-a-cer... http://mathoverflow.net/questions/48384/proving-that-induction-is-not-only-sufficient-but-also-necessary-closed
http://mathoverflow.net/questions/48410/sensible-theory-between-pa-and-pa-that-has-a-certain-paradoxicality-closed
http://mathoverflow.net/questions/48304/variable-range-of-a-low-order-real-multivariate-polynomial-equality-inequality-c

The OP wants these questions reopened. I think I've failed to communicate that meta is the right place to come to have that discussion, so I'm starting this thread for him.

@Jan Burse: You should explain why the questions should be reopened here. This is also the right place to ask for clarification about why people voted to close.

]]>