Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

i understand math as the study and description of the behavior of mathematical structures, and as you know this math structures could include rings, fields, metric spaces, propositions, categories, numbers, sets, operators, differential equations..., a big part of this structures was born under the need of the description of a problem. For example the study and solution of the problem of the Brachistochrone curve gives to us the calculus of variations, or the study of the behavior of the heat and waves was the main column of the development of the Fourier series expansion, and as you know this is useful in physics, electrical, mechanical, and in general engineering. So other structures such as differential equations, tensors, matrices are useful for physics, chemistry, economics, engineering, and even abstract ones such as linear spaces, groups, rings, operators, Banach spaces, Hausdorff spaces are useful in physics. But in general logic, understanding it as the classification of truth parametrized but several specifications using several structures such as languages, binary operators, models, this to proof under what conditions a given expression id true, so it has several applications in number theory, algebra, topology, but this ones are mathematical fields, so i want to know if besides computer science foundations, type theory in CS, programming languages fundamentals, design and analysis of algorithms, digital logic, computer architecture, (that by itself is a huge approach of logic in life), are there any applications of logic in physics, economics, engineering, biology..

share|cite|improve this question

closed as not a real question by Will Jagy, William, Thomas, Norbert, J. M. Oct 7 '12 at 13:26

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

Are you talking about binary logic only? There is other kind of logic, for example fuzzy logic deals with probability what I think could bring some different applications. I know fuzzy logic is useful for artificial inteligence. Maybe there is something not an expert. – Integral Sep 22 '12 at 3:54
lOGIC IN GENERAL, model theory, all the subbranches of mathematical logic – Sebastian Griotberg Sep 22 '12 at 3:56
Did you mean something like implementations? – Amzoti Sep 22 '12 at 4:00
no, i am not talking about boolean logic applications, i am talking about complexity, computability, model theory, languages, Gödel's incompleteness theorems, proof theory, more complex logical structures, – Sebastian Griotberg Sep 22 '12 at 4:02
You mean using logic(by logic i mean everrything you said) directly on other stuff. Right? I ve never heard about...this will have to wait someone really experienced. – Integral Sep 22 '12 at 4:22
up vote 1 down vote accepted

Of course, physicists go in for logical inferences, so in a very boring sense, logic applies to physics in the way it applies of any other body of reasoned propositions. But I take it the question was more about the possibilities of what might be called 'carry-over' of modelling techniques.

To explain: Mathematical physics deals with idealised models of various physical structures and processes. Mathematical logic deals with idealised models of structures of inference. (To be sure, advanced mathematical logic courses and texts will often deal with more, e.g. the basics of the theory of computation and the basics of set theory, but that's largely because of a chapter of historical accidents.)

Now, it can happen that a toolkit of applicable mathematics initially developed for use in one area of enquiry can turn out to be useful elsewhere, so get carried over. Could it turn out that mathematical tools developed by logicians are useful to physicists? Well, in this case, the home territories of the physicists and the logicians are so different, we perhaps shouldn't expect very much carry-over.

There have been occasional suggestions, e.g. baffled quantum theorists musing whether their foundational problems might be generated by adherence to classical logic, and wondering whether something like a revised logic might help them. But such cases seem to be few and far between.

share|cite|improve this answer

Take a look at this book (if you can find it, that is):

One of the authors is, surprisingly, Alfred Tarski! Is it a typo? Did Tarski really work on Biology? A passage from the Fefermans' biography of Tarski:

In England he stayed at the home of his biologist friend J. H. Woodger; at the 1935 Paris congress, Woodger had given a short exposition of his efforts to axiomatize biology in the language of Principia Mathematica. Tarski then and there offered to help by reading and criticizing his further work on that project. In the following years they had considerable correspondence and Woodger visited him in Poland three times, with many enjoyable discussions and hiking excursions.

share|cite|improve this answer
Thank you, that very much interesting and amazing – Sebastian Griotberg Sep 22 '12 at 13:33

Not the answer you're looking for? Browse other questions tagged or ask your own question.