Mathematics
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne
  • Member for 6 years
  • Last seen more than a month ago
Profile Activity
Stats
521
reputation
7k
reached
1
answer
30
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
0
Score
15
Posts
48
Posts %
0
Score
11
Posts
35
Posts %
0
Score
11
Posts
35
Posts %
0
Score
9
Posts
29
Posts %
0
Score
5
Posts
16
Posts %
0
Score
4
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
3
Is this a valid use of Skolemization?
Sep 6, 2020
question
3
With respect to functions, how do I express definedness in first order logic?
Jul 31, 2021
question
3
How can I present the properties of a piecewise function in first order logic?
Aug 14, 2021
question
2
How can I translate a Haskell code segment to a mathematical representation?
Jun 12, 2018
question
2
Can I justify removing a universal quantifier in this proof?
Jul 5, 2018
question
2
Translating from First Order Logic to Order-Sorted Logic
Aug 11, 2018
question
2
What are the features that make this proof constructive?
Apr 25, 2019
question
2
Do these two commutative diagrams represent the same homomorphism?
Jun 7, 2020
question
2
How do I reason with Skolem functions?
Oct 31, 2020
question
2
Can these Haskell operations be presented as piecewise mathematical functions?
Oct 7, 2021
Top network posts
View all network posts
5
Can the semantics of a numeric hierarchy be faithfully represented in Haskell?
5
Does this Haskell program provide an example of "Theorems for free!"?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.