I think your marriages of OOP to Domain Logic and FP to Math are incredibly off base. You can most definitely express domain logic in FP languages. The difference between FP and OOP to me is declarative and immutabe versus imperative and mutable. You could also have declarative OOP but in practice I've found most OOP code tends to be objects wrapping up procedures. But saying you can't express a domain properly in FP is laughable.
I would discuss the points you're making but your tone has me assuming that any attempt to do so would devolve into a fruitless argument. I'll just say that there's more than one way to look at the differences between programming paradigms.
