Hot answers tagged

40

provers.stackexchange.com EDIT (3): I'm just proposing a domain name, not the name of the site. IMO, the site should be named as Proof Assistants. It's much shorter than proofassistants, it's about proofs, it's easy to remember (just one word), and we rarely mean a non-computer one when we mention "prover". EDIT: This word also unites automated ...


27

The main challenge is making it clear to those who stumble across this that this isn't a "math education" place where students and teachers gather to work out homework problems. Be more direct in identifying your audience. This site should be called: Math Educators Proposed Q&A site for those involved in the field of teaching mathematics. ...


25

proofassistants.stackexchange.com Notice there is no - The reasoning behind removing the dash. ... some human users may have a difficult time recalling your domain name, especially because most people are used to domain names that don’t contain dashes (ref) However the keen eye will notice that I regularly use swi-prolog.discourse.group which has a dash. ...


24

qed.stackexchange.com It's short, it's quirky, it's about proofs, and it alludes to QED at Large: A Survey of Engineering of Formally Verified Software and the QED Manifesto.


24

I would prefer to err on the side of inclusiveness, so yes. And the two communities really should be talking to each other more than they do.


23

AI as a subject isn't likely to attract a community you can build a site around because it is a broad term that's been applied to everything from creating synthetic beings to creating more-sophisticated algorithms that make computers better at what they do. Once you get past a few dozen questions about what is AI? and how we live with it, you're into the ...


21

This will just fragment the community. Very correct, and this is an important consideration. That said, people have many, many issues with BioStars. I’ve personally put my view into words on Reddit: … the [BioStars] software really sucks compared to Stack Exchange. I really dislike using it. Busy layout, chaotic comments, all leading to incredibly hard ...


21

As this answer (sorry for the shameless self-promotion) suggests, there are many people asking proof-assistants relevant questions on various SE sites, including StackOverflow, CS, TCS, etc. which means none of these sites seem to be good enough to unite everybody. The number of questions is not small. A specific site about proof assistants will help with ...


20

Yes Even if you put all the different branches together, formal methods is a rather niche field, and I don't think there would be so much success having separate sites for ATPs and ITPs. At the same time there is much to be gained by having a shared user base, since the combination of computer science and mathematics knowledge you need in ITPs is also useful ...


19

[I've just mentioned this as a comment on another answer but I think it fits well here as an answer.] Over the summer it became apparent that I'd be teaching a Lean course to mathematicians during this academic year. In particular I was suddenly in charge of teaching undergraduates a programming language (something I'd never done before!). I started asking a ...


17

Mathematics Teaching and Pedagogy


17

My opinion is that we should leave it as "Analytics". We (OR/MS/IE people) do more than just prescriptive analytics -- for example, simulation is descriptive analytics, demand forecasting is predictive analytics, etc. I also am taking a page from the INFORMS web site, which uses the phrase "Operations Research and Analytics" a number of times. I do agree ...


16

Proposed site name: Operations Research


16

When a proposal nears the end of its Definition, it undergoes a final review by the Community Team to see if and how it fits with the rest of the network. During the final review, any discussions and surrounding activities are considered, and the title and description are finalized in preparation for launch at 100% Commitment. Yes, this site is slated to ...


16

Nice to meet you Martin! Before making this proposal, I tried to get in touch with you and orthocresol earlier this week on a chat room I made but wasn't able to grab your attention. One year ago we did talk, and you told me that Area51 is deadly. For the last 12 months I've done extensive research before making this proposal. A little bit of that research ...


16

I believe searching by tags on StackOverflow already shows a looot: https://stackoverflow.com/questions/tagged/agda https://stackoverflow.com/questions/tagged/idris https://stackoverflow.com/questions/tagged/coq https://stackoverflow.com/questions/tagged/isabelle https://stackoverflow.com/questions/tagged/theorem-proving The above tags are strictly about ...


15

I would encourage questions about mathematics pedagogy and teaching for all age groups (from toddlers to adults), all educational levels (pre-school to graduate), all settings (homeschool to traditional school), and even those with special needs (gifted, with disabilities, etc.). I don't know if we will be able to attract participants interested in this ...


15

Viewing the top rated questions, and considering Academia is expressly open to questions about research in industry, government, etc. I'm inclined to agree - Open Science is a subset of the type of questions that are already accepted in Academia.SE, and I don't think either community will particularly benefit from splitting them off.


15

No, machine learning as far as implementation goes is not on topic for this site. We've had two previous failures in launching a site about AI (which already included machine learning) — and the resolution following those failures was to create a more-comprehensive site which included the development of AI, machine learning, statistical tools, big data,...


15

Update: And now I'm bringing good news! The site is up and running. I'm the developer that launches new sites and unfortunately I come bearing some bad news. The original date for the private beta launch got delayed due to a security incident that we had to resolve first. The plan then was to launch this week, but we are hitting some issues with database ...


14

Mathematics Education is partly mathematics and partly education. It seems that you consider Math Ed to be a subset of Mathematics, but I consider Math Ed to be a subset of Education. If there was an Education Stack Exchange (containing a "mathematics" tag), I would understand someone who was against the creation of a Math Ed site. But, unfortunately, ...


14

IMHO they should. They are already questions tagged open-access and open science, which are warmly welcomed. Also, some of questions from Open Science may fit OpenData.SE. I don't see a question that is a valid SE-question and does not fit any of above.


14

I prefer Mathematics Educators but have no strong preference


14

I think that an initialism might be the way to go here: hsm.stackexchange.com This has precedent at sites like dsp.stackexchange.com ("Digital Signal Processing"), gis.stackexchange.com (whatever "GIS" stands for...), ux.stackexchange.com ("User eXperience"), and ell.stackexchange.com ("English Language Learners"). In some of those cases (DSP, GIS, UX), ...


13

Questions about mathematics are already handled by the Mathematics and MathOverflow Stack Exchange sites. I believe that "do my homework for me" questions do not belong to this proposed mathematics education site.


13

Edit on 2/1: For reference, here are all of the proposed names so far: Mathematics Learning, Studying, and Education (the current name) Mathematics Education Mathematics Teaching and Learning Mathematics Teaching Mathematics Teaching and Pedagogy Teaching Mathematics Didactics of Mathematics Pedagogy of Mathematics Mathematics Pedagogy (which I am proposing ...


13

A main reason this extra site seems desirable is that various questions in mathematics education are less clear cut than most mathematical question. The sites math.SE and MO are thus not an optimal fit for many of them. For this site we will need to be less strict regarding 'subjective' questions than would be desirable for math.SE and MO. Put differently ...


12

Econometrics is a fundamental tool to any economist doing an empirical study. I see no reason why it shouldn't be on topic. With that being said, why don't you just offer a couple of sample questions and see how people vote on them?


12

There is a degree of overlap in which questions will be on topic for each of the two sites. This is not necessarily a reason to combine them into one site. There are many SE sites that have overlap, or even where one could reasonably be a strict subset of the other. What distinguishes a topic as being suitable for a separate SE site is its community. While ...


12

It should be both. On a new site with technical questions only, most of the questions would be on-topic on the Data Science portal: https://datascience.stackexchange.com/ And I think with mostly theoretical questions the site would have not enough questions/visitors.


Only top voted, non community-wiki answers of a minimum length are eligible