Talk:Q2995275
Jump to navigation
Jump to search
Autodescription — integer construction (Q2995275)
description: no description
- Useful links:
- View it! – Images depicting the item on Commons
- Report on constraint conformation of “integer construction” claims and statements. Constraints report for items data
- See also
- This documentation is generated using
{{Item documentation}}
.
Construction[edit]
@Danneks: This is a construction, a construction has input material and a result. It's not a mere definition, it's a definition on how to build some mathematical object like the set of real numbers from the set of intergers, from example. We need to express the "from" and the "to", like for an algorithm who has an input and an output ... As constructions can be seens as functions, I thought these properties could work well. But we need to create a maths wikiproject to discuss all these :) author TomT0m / talk page 08:20, 19 August 2015 (UTC)
- @TomT0m: I don't understand what you mean by "constructions can be seens as functions". I have also used domain/codomain properties to describe e.g. minimal polynomial (Q1163608), but I have linked a source which explains in which way invariants can be seen as functions :) Danneks (talk) 08:42, 19 August 2015 (UTC)
- @Danneks: You take the set of integers as an input, you apply the pseudo algorithm, you get the set of real numbers as an output :) en:Constructivism_(mathematics)#Constructive_mathematics uses some intuistionnic logic, which by Curry–Howard correspondence (Q975734) has a strong relation with algorithms :) This is not a source but a reasoning that motivates the analogy ... author TomT0m / talk page 08:59, 19 August 2015 (UTC)
- @TomT0m: I have heard something about Curry-Howard, but I still don't understand which function do you mean in this case, with the input set "natural numbers" and codomain "integers". Danneks (talk) 09:10, 19 August 2015 (UTC) In any case, it seems to me that using the same statements for this item and for an item about a function from natural numbers to the integers is confusing. Danneks (talk) 09:20, 19 August 2015 (UTC)
- Yep, that's right, it's a function from sets to sets, not from set element to set elements, so I agree we have to think on that point. WikiProject Mathematics is more and more author TomT0m / talk page 10:35, 19 August 2015 (UTC)
- @TomT0m: I have heard something about Curry-Howard, but I still don't understand which function do you mean in this case, with the input set "natural numbers" and codomain "integers". Danneks (talk) 09:10, 19 August 2015 (UTC) In any case, it seems to me that using the same statements for this item and for an item about a function from natural numbers to the integers is confusing. Danneks (talk) 09:20, 19 August 2015 (UTC)
- @Danneks: You take the set of integers as an input, you apply the pseudo algorithm, you get the set of real numbers as an output :) en:Constructivism_(mathematics)#Constructive_mathematics uses some intuistionnic logic, which by Curry–Howard correspondence (Q975734) has a strong relation with algorithms :) This is not a source but a reasoning that motivates the analogy ... author TomT0m / talk page 08:59, 19 August 2015 (UTC)