On Jan 24, 12:26 pm, Han de Bruijn <umum...@gmail.com> wrote: > On Jan 24, 11:02 am, LudovicoVan <ju...@diegidio.name> wrote: > > On Jan 23, 8:31 pm, LudovicoVan <ju...@diegidio.name> wrote: > > > > I don't think mathematics is a deductive science: mathematics is > > > hardly a science at all. OTOH, in a world were 3+4=7, I'd also expect > > > 1=/=0: i.e. no mathematical fact exists in isolation... > > > Thinking: It is logic that grounds mathematics, i.e. it is logic that > > gives mathematics its initial premise and final validation. > > How can that be, if Mathematical Logic is a branch of mathematics ?
Mathematical logic is not logic.
> It is NOT logic that grounds mathematics. It is rather mathematics > that grounds logic. (And physics grounds mathematics, but that is .. > quite another story)