User talk:Dfeuer

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers!


 * --Your friendly ProofWiki WelcomeBot 16:40, 29 November 2012 (UTC)

BPIT
I note that you're enthusiastically banging in the BPIT template all over the place in pages which in several cases already have AoC etc. templates in them. I have reservations about this for several reasons:

a) It has not completely been established exactly what BPIT actually is. Yes, there is a partial proof in place, but it might or might not work, but at the moment it is unfinished and, ultimately, incomprehensible because we don't even know what a prime ideal is yet.

b) Places where the BPIT already exists do not indicate exactly where it is used, and why it is relevant, and what the point is. If you look at existing pages using AoC (where the work has been done properly, of ocurse) you will see that there is a specific point in the proof where it is invoked, or if not, in the use of the template there is an indication of which result in that proof does use the AoC (e.g. "... by Zorn's Lemma" etc.). The BPIT work does not.

c) Even when we have sorted all that out, the philosophical significance of BPIT remains obscure. It's couched in technical language about a collection of objects that need considerable work to understand, and even when you do understand them all, it's like: so what? The AoC is a short, pithy fact that can be put into a single sentence's thought and therefore means something. The BPIT in consequence just looks like something clever-sounding that we read off the internet and include because it makes us look smart. Personally I don't think it *does* make us look smart.

Thoughts? --prime mover (talk) 06:24, 14 December 2012 (UTC)