Programmer 400
Reputation
211
Top tag
Next privilege 250 Rep.
 8h accepted Is there a general operator symbol? 8h comment Is there a general operator symbol? I hope it will be understood. I'm implementing arithmetic functionality like $((a # b)) that my program can evaluate according to a grammar. 8h asked Is there a general operator symbol? Apr 30 asked What are “bits” when the base is > 2? Apr 27 revised differentiate and solve$A = \frac{200}r + 3\pi r^2$added 133 characters in body Apr 27 revised differentiate and solve$A = \frac{200}r + 3\pi r^2$added 1 character in body Apr 27 revised differentiate and solve$A = \frac{200}r + 3\pi r^2$added 1 character in body Apr 27 answered differentiate and solve$A = \frac{200}r + 3\pi r^2$Apr 27 comment differentiate and solve$A = \frac{200}r + 3\pi r^2\$ Use the chain rule Apr 18 comment Do you know which book this is? @Benedict I was looking for a 2nd book in logic so I emailed the author Graeme Forbes who kindly responded with a recommendation for something that I would like. I like the historical notes in the "beta book" which has a chapter on math history. I can try and email the community in logic. The background is that I took I university course in logic and I want to "dig deeper" and know more modern logic. Apr 18 asked Do you know which book this is? Apr 17 accepted Are all algebras groups? Apr 17 comment Recommend a concise book on mathematical logic "Symbolic Logic" by Graeme Forbes is very good. Apr 17 asked Recommend 2nd logic and discrete math books? Apr 17 comment Are all algebras groups? My background is a course in discrete math (where the Norman Biggs book was used) and a course in logic where Graeme Forbes Symbolic Logic was used. I want to learn more lika that but I don't know exactly what I'm looking for. I also took all other undergraduate math courses and passed them (analysis and numerical methods) but my interests were discrete mathematics and symbolic logic with exactly those books. If I enjoyed those 2 books, can you recommend me more reading? I'm currently reading Peter Cameron's combinatorics book and David Wunsch's complex analysis to teach myself some more. Apr 17 comment Are all algebras groups? I can recognize boolean algebra but I can't formally define it. The similarity I was thinking of was of a set with operands and operators similarly to how you "define" the complex plan with the symbol ℂ something that looked like: ℂ: {x,y .... ´ and I was wondering if I can define a mathematical system using mathematics rather than just use the system, since I am only a user of Boolean algebra, I don't know what it is. Apr 17 comment Are all algebras groups? Thank you for a very good answer. IIUC any group is an algebra but not all groups are algebras. Is boolean algebra a field? It seems the definition is somewhat similar to a field (for instance the field "ℂ" is the complex set with functions) or do we know that boolean algebra is not a field? Apr 17 revised Are all algebras groups? added 6 characters in body Apr 17 comment Are all algebras groups? @JohnDouma I think that the elements {0,1} with the + operation (meaning "or") (or the NAND´ operation for a functionally complete algebra) then I could google and find articles that say that boolean algebra is a group. If it is, then it is a good example of a group but I never saw it used as an example of a group before, but it seems like a good example to show that a group can define "A mathematic" or "an algebra" so that we know what we mean with the word "algebra". Apr 17 asked Are all algebras groups?